[Enhancement] Check stack overflow and underflow errors when compile non-EOF EVM opcodes to Dora IR

[timi-y]

• [x] Basic stack overflow/underflow checks #44
• [ ] Perf: Analyze the bytecode in advance and only check for possible overflow situations like https://github.com/paradigmxyz/revmc/blob/9ad12ebe060ab25818ae1bf89febde70e08ca775/crates/revmc/src/compiler/translate.rs#L616

[lancorer]

Hi @timi-y Would start on this one.

[timi-y]

Thank you! @lancorer Welcome! ❤️

[lancorer]

re #65