Switched to using the newest Z3 stable release (4.3.2).
Use no-reuse-impls by default.