[llvm] Bump required minimal Z3 version from 4.7.1 to 4.8.9 (PR #96682)

[Donát Nagy via llvm-commits]

https://github.com/NagyDonat commented:

LGTM although I don't think that I have authority in this area.

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