Optimizations for stack checks when no over/under flow is present#2709

ehildenb wants to merge 6 commits into

masterruntimeverification/evm-semantics:masterfrom

stack-check-optimruntimeverification/evm-semantics:stack-check-optimCopy head branch name to clipboard