CSmith test script: avoid a need for argv modelling

[tautschnig]

With additional checks turned on as of #8093, we failed CSmith tests with (legitimate) pointer property failures in strcmp. These are caused by trying to compare argv[1] to a string. As we do not model argv in these tests, argv[1] was not a valid pointer. This fix just removes the string comparison, which is only used for turning on/off debug output in test execution.

• Each commit message has a non-empty body, explaining why the change was made.
• n/a Methods or procedures I have added are documented, following the guidelines provided in CODING_STANDARD.md.
• n/a The feature or user visible behaviour I have added or modified has been documented in the User Guide in doc/cprover-manual/
• Regression or unit tests are included, or existing tests cover the modified code (in this case I have detailed which ones those are in the commit message).
• n/a My commit message includes data points confirming performance improvements (if claimed).
• My PR is restricted to a single feature or bugfix.
• n/a White-space or formatting changes outside the feature-related changed lines are in commits of their own.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Comparison is base (41af31c) 79.08% compared to head (5fa37a3) 79.08%.

Additional details and impacted files

@@           Coverage Diff            @@
##           develop    #8105   +/-   ##
========================================
  Coverage    79.08%   79.08%           
========================================
  Files         1698     1698           
  Lines       196465   196465           
========================================
  Hits        155380   155380           
  Misses       41085    41085           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.