[clang] [llvm] [NFC][analyzer] Remove Z3-as-constraint-manager hacks from lit test code (PR #145731)

[Michał Górny via llvm-commits]

mgorny wrote:

> @mgorny I'm pretty sure you have heard of [manyclangs](https://github.com/elfshaker/manyclangs). If you bisect clang builds, that should come handy. Saved me many hours already - and counting.

I haven't but I doubt they'll help me — this issue seems to surface only with our specific build of Flang somehow.

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