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

[Donát Nagy via cfe-commits]

NagyDonat wrote:

Thanks for the explanation, I agree with your POV and I don't think that we need a drastic change like renaming or reordering everything.

However, in this case I think it would be good to remove the type based section headers, which are no longer accurate. When someone adds a new option, they can still "follow the visible trend" based on its type, but perhaps we'll se more options that are placed close to other related options (with a different type).

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