Use release build when running assess scan script (rust-lang#2094)

Add a command to build Kani using the release mode so we speed up the metrics collection. From my previous experience, this can speed up by approx 2x.

Author: celinval

scripts/exps/assess-scan-on-repos.sh

@@ -53,9 +53,15 @@ for repo in $REPOS; do
     fi
 done
 
+# Use release mode to speed up the run.
+echo "Build kani on release mode..."
+pushd ${KANI_DIR}
+cargo build-dev --release
+popd
+
 echo "Starting assess scan..."
 
-cargo kani --only-codegen --enable-unstable assess scan \
+time cargo kani --only-codegen --enable-unstable assess scan \
   --filter-packages-file $NAME_FILE \
   --emit-metadata ./scan-results.json