Add option to bitblast with Z3
Update to changes in smtlib2