Refactoring

[raghav198]

• There's some common logic between the verify subcommand and wp in terms of generating queries to invoke Z3 that can be moved out into some helper utilities
• A lot of the getExpression logic is duplicated across WP and the TermBuilder, doing substitution vs. a forward pass to build full expressions