Make z3 the default for check, accept, baseline
Make z3 the default for check, accept, baseline

eseidel/saycbridge,abortz/saycbridge,eseidel/saycbridge,abortz/saycbridge,abortz/saycbridge,eseidel/saycbridge,abortz/saycbridge,abortz/saycbridge