Add value-stack test

Implement `StackPush` and `StackPop` DSL operations