fix regression on push/pop

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
add push/pop to optimization context for convenience

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>