Bump required minimal Z3 version from 4.7.1 to 4.8.9#96682

steakhal merged 1 commit intollvm:mainllvm/llvm-project:mainfrom

steakhal:bump-z3-versionCopy head branch name to clipboard