Log Message:
z3 py-z3: updated to 4.12.2

z3-4.12.2

updated release notes for 12.2
disable publish
remove output
reformat code to remove brackets
Implement proposed smtlib2 bitvector overflow predicates
Merge branch 'master' of https://github.com/z3prover/z3
JS/TS: add Optimize class
remove debug output
make default argument to ensure_def and mk_def explicit