Add --no-standard-checks to regression/goto-cc-cbmc test runner script

Author: NlightNFotis

regression/goto-cc-cbmc/chain.sh

@@ -17,4 +17,4 @@ else
   "${goto_cc}" "${name}" -o "${base_name}.gb"
 fi
 
-"${cbmc}" "${base_name}.gb" ${options}
+"${cbmc}" --no-standard-checks "${base_name}.gb" ${options}