Resolve "Remove axioms in int.MinMax only for z3"
This re-enables tests multiprecision/div and foveoos11-cm/array_max, which failed in the nightly bench after !407 (merged).
The properties from int.MinMax are still removed from the SMT output for Z3 >= 4.4.
Closes #517 (closed)
Edited by Benedikt Becker