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

[Michał Górny via cfe-commits]

mgorny wrote:

As I've said, my issue is specific to the standalone build. You install LLVM first, then build clang against installed LLVM. Installed LLVM configs indicate whether LLVM was built against Z3, but they don't include internal Z3 lookup variables.

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