Add z3 flag, tone down debugging
Added Z3 flag
Merge branch 'z3' into brahma

Conflicts:
	src/checker.py