[llvm-branch-commits] [analyzer] Harden safeguards for Z3 query times (PR #95129)

[Balazs Benics via llvm-branch-commits]

steakhal wrote:

Ah, it mixed the messages... Here it is:

- Removed unused `NumZ3QueriesDoneInEqClass`
- Added a new `crosscheck-with-z3-eqclass-timeout-threshold` config option.
- Removed misleading `// unsat` comment on return statement.
- Removed unnecessary `// sat` comment on return statement.
- Adjusted the name of the two last unit-tests. 

https://github.com/llvm/llvm-project/pull/95129