Support more binary operators
Add parser support for int-to-ptr and ptr-to-int instructions
Extend a dynamic number if it has too few bits
Add support for limiting recursion
Use Z3 by default
Make dependencies on smtlib2-stp and -boolector optional via flags