[clang] Reland "[analyzer] Harden safeguards for Z3 query times" (PR #97298)

[Donát Nagy via cfe-commits]

NagyDonat wrote:

@steakhal As I was browsing the list of analyzer options, I was surprised to see that the numerical `unsigned` options added by this commit are placed in the "Boolean analyzer options" section of `AnalyzerOptions.def`.

I understand that it's natural to group them together with the parent option "should-crosscheck-with-z3", but I still think that it would be good to either move them to the "Unsigned analyzer options" section or perhaps reorganize the whole file to follow a more natural scheme, e.g. semantic relatedness between options or perhaps a "dumb, but obvious" alphabetical ordering.

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