fix: allow smtlib-utils 0.2
fix model checking
update interface for propagating booleans using lemmas
udpate logitest target