shoved more things into tpGen
more fiddling with Z3, rerun tests at this commit
more fiddling with Z3, rerun tests at this commit
some slow progress on smtLIB2
stuff builds... bit exhausted to implement interact
stuff builds... bit exhausted to implement interact