Run both recurisve and imperative generator
Added pop stack test with contracts
Added design by contract validator
Removed old dbc test classes
Renamed StackTest2 to StackTest