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

[Michał Górny via llvm-commits]

mgorny wrote:

No problem. I would have submitted a patch earlier but this bisect is literally taking all my resources.

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