[clang] [llvm] [analyzer][NFC] Reorganize Z3 report refutation (PR #95128)

[Balazs Benics via cfe-commits]

steakhal wrote:

> With the next patch [eacc3b3](https://github.com/llvm/llvm-project/commit/eacc3b3504be061f7334410dd0eb599688ba103a) it fails on rlimit for me, but on this patch it's on timeout.

What do you suggest? Do you know a reliable minimal Z3 version which we should require?

FYI I published [this](https://discourse.llvm.org/t/bump-minimal-z3-requirements-from-4-7-1-to-4-8-9/79664) post about raising Z3 version requirement.

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