Implement and test everything for smt-z3

 - Partial support for CVC4