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

[Balazs Benics via cfe-commits]

steakhal 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).

+1, Let's drop those comments.

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