Revert "Add --no-standard-checks to regression/validate-trace-xml-schema python runner script"

This reverts commit bda5ed3.

Author: esteffin

Diff for: regression/validate-trace-xml-schema/check.py

@@ -133,7 +133,7 @@ def check_test_desc(self, test_desc_path):
                 self.check_trace(test_desc_path, trace_file)
 
     def read_trace_into(self, trace_file, args):
-        subprocess.run([CbmcPath, '--no-standard-checks', '--trace', '--xml-ui'] + args,
+        subprocess.run([CbmcPath, '--trace', '--xml-ui'] + args,
                        stdout=trace_file)
 
     def check_trace(self, test_desc_path, trace_file):