[clang] [analyzer] Let the checkers query upper and lower bounds on symbols (PR #74141)

[Balazs Benics via cfe-commits]

steakhal wrote:

My take is that the z3-based solver is crashing all over the place. So its not just slower. We anyways don't have CI checks for it.
Given all these, I'd rather not put more burden to the issue tracker regarding this. I'd consider it if these issues wouldn't be present though, but we are really far from that.

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