Revert "Add --no-standard-checks to ../regression/linking-goto-binaries test runner script"

This reverts commit 1f81854.

Author: esteffin

regression/linking-goto-binaries/chain.sh

@@ -21,4 +21,4 @@ else
   $goto_cc "${main}.gb" "${next}.gb" -o "final.gb"
 fi
 
-$cbmc --no-standard-checks --validate-goto-model "final.gb"
+$cbmc --validate-goto-model "final.gb"