fix(EOF): MIN_CALLEE_GAS light failure, static-mode check

[rakita]

Add static check for EXTCALL.

MIN_CALLEE_GAS check should be a light failure and callee, not on the caller.

[github-actions]

Valgrind Results:

==3926== Cachegrind, a cache and branch-prediction profiler
==3926== Copyright (C) 2002-2017, and GNU GPL'd, by Nicholas Nethercote et al.
==3926== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==3926== Command: target/release/snailtracer
==3926== 
--3926-- warning: L3 cache found, using its data for the LL simulation.
Running snailtracer example!
elapsed: 1.841913914s
==3926== 
==3926== I   refs:      427,040,429
==3926== I1  misses:          4,750
==3926== LLi misses:          2,824
==3926== I1  miss rate:        0.00%
==3926== LLi miss rate:        0.00%
==3926== 
==3926== D   refs:      204,077,353  (132,268,960 rd   + 71,808,393 wr)
==3926== D1  misses:        341,498  (    201,475 rd   +    140,023 wr)
==3926== LLd misses:        137,811  (      4,492 rd   +    133,319 wr)
==3926== D1  miss rate:         0.2% (        0.2%     +        0.2%  )
==3926== LLd miss rate:         0.1% (        0.0%     +        0.2%  )
==3926== 
==3926== LL refs:           346,248  (    206,225 rd   +    140,023 wr)
==3926== LL misses:         140,635  (      7,316 rd   +    133,319 wr)
==3926== LL miss rate:          0.0% (        0.0%     +        0.2%  )