ci: 5mins to build kani in release mode, so change to debug mode

Author: zjp-CN

.github/workflows/test.yml

@@ -19,7 +19,7 @@ jobs:
         working-directory: kani
         run: |
           ./scripts/setup/ubuntu/install_deps.sh
-          cargo build-dev -- --release
+          cargo build-dev
           echo PATH=$(pwd)/scripts:$PATH >> $GITHUB_ENV
 
       - name: Check kani folder