Expand API for smt solver to implement push/pop

[dewert99]

Gives raw access to solver.v.assumptions and allows where variables are available for decisions to be changed after they are created, as an alternative to #17? Doing this allows the rest of #17 to be implemented by the solver.