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

[Donát Nagy via llvm-commits]

NagyDonat wrote:

I don't use Z3 for anything and I'd be very surprised if @balazske used it.

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