Add --no-standard-checks to regression/contracts test runner script

Author: NlightNFotis

regression/contracts/chain.sh

@@ -42,4 +42,4 @@ elif echo $args_inst | grep -q -- "--dump-c" ; then
   rm "${name}-mod.c"
 fi
 $goto_instrument --show-goto-functions "${name}-mod.gb"
-$cbmc "${name}-mod.gb" ${args_cbmc}
+$cbmc --no-standard-checks "${name}-mod.gb" ${args_cbmc}