[analyzer] Disable clang flags that cause major undeterminism issues

Turn off Z3 timeouts added to the Clang Static Analyzer in
llvm/llvm-project#95129. We are now aware that
these options can often cause nondeterministic behaviour.

config/config_files/codechecker.json

@@ -4,6 +4,10 @@
     "--enable=core.CallAndMessage",
     "--analyzer-config",
     "clangsa:unroll-loops=true",
+    "--analyzer-config",
+    "clangsa:crosscheck-with-z3-eqclass-timeout-threshold=0",
+    "--analyzer-config",
+    "clangsa:crosscheck-with-z3-timeout-threshold=0",
     "--checker-config",
     "clang-tidy:google-readability-function-size.StatementThreshold=100",
     "--report-hash", "context-free-v2",