z3: disable python binding by default (#25007)
z3: disable python binding by default (#25007)

z3 is a dependency of llvm and llvm-amdgpu, and when z3 python bindings
are enabled it depends on py-setuptools as a run dependency. That's
fine, except that py-setuptools now influences the hash of
llvm/llvm-amdgpu, which can be very annoying when another package
restricts the py-setuptools version -- you'll end up recompiling llvm
for no good reason :(.
LLNL/spack,LLNL/spack,LLNL/spack,LLNL/spack,LLNL/spack