Make z3 the default for check, accept, baseline