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

[Donát Nagy via cfe-commits]

NagyDonat wrote:

> > For background information see also some of the later comments on the discourse thread https://discourse.llvm.org/t/taking-ownership-of-clang-test-analysis/84689/6
> 
> Move this link into the PR summary please.

Done. (Originally I didn't put this into the PR summary because I felt that the information on this thread is not so valuable / important.)

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