run without asserting contracts

Author: carolynzech

scripts/run-kani.sh

@@ -207,6 +207,7 @@ run_verification_subset() {
     printf '%s\n' "${harnesses[@]}"
     "$kani_path" verify-std -Z unstable-options ./library \
         $unstable_args \
+        --no-assert-contracts \
         $harness_args --exact \
         -j \
         --output-format=terse \