feat(EOF): Add CALLF/JUMPF stack checks

[rakita]

Adding stack checks for CALLF/JUMPF:

https://github.com/ipsilon/eof/blob/main/spec/eof.md
if 1024 < len(stack) + types[idx].max_stack_height - types[idx].inputs, execution results in an exceptional halt

[github-actions]

Valgrind Results:

==4067== Cachegrind, a cache and branch-prediction profiler
==4067== Copyright (C) 2002-2017, and GNU GPL'd, by Nicholas Nethercote et al.
==4067== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==4067== Command: target/release/snailtracer
==4067== 
--4067-- warning: L3 cache found, using its data for the LL simulation.
Running snailtracer example!
elapsed: 1.833002029s
==4067== 
==4067== I   refs:      429,372,715
==4067== I1  misses:          3,087
==4067== LLi misses:          2,794
==4067== I1  miss rate:        0.00%
==4067== LLi miss rate:        0.00%
==4067== 
==4067== D   refs:      206,205,448  (133,650,897 rd   + 72,554,551 wr)
==4067== D1  misses:        344,655  (    204,566 rd   +    140,089 wr)
==4067== LLd misses:        137,642  (      4,279 rd   +    133,363 wr)
==4067== D1  miss rate:         0.2% (        0.2%     +        0.2%  )
==4067== LLd miss rate:         0.1% (        0.0%     +        0.2%  )
==4067== 
==4067== LL refs:           347,742  (    207,653 rd   +    140,089 wr)
==4067== LL misses:         140,436  (      7,073 rd   +    133,363 wr)
==4067== LL miss rate:          0.0% (        0.0%     +        0.2%  )