feat(EOF): Add target address expansion checks

[rakita]

From EOF spec:
No address trimming is performed on the target_address, and if the address has more than 20 bytes the operation halts with an exceptional failure.

[github-actions]

Valgrind Results:

==3943== Cachegrind, a cache and branch-prediction profiler
==3943== Copyright (C) 2002-2017, and GNU GPL'd, by Nicholas Nethercote et al.
==3943== Using Valgrind-3.18.1 and LibVEX; rerun with -h for copyright info
==3943== Command: target/release/snailtracer
==3943== 
--3943-- warning: L3 cache found, using its data for the LL simulation.
Running snailtracer example!
elapsed: 1.798192697s
==3943== 
==3943== I   refs:      427,038,287
==3943== I1  misses:          3,131
==3943== LLi misses:          2,783
==3943== I1  miss rate:        0.00%
==3943== LLi miss rate:        0.00%
==3943== 
==3943== D   refs:      204,076,878  (132,269,062 rd   + 71,807,816 wr)
==3943== D1  misses:        341,605  (    201,658 rd   +    139,947 wr)
==3943== LLd misses:        137,734  (      4,451 rd   +    133,283 wr)
==3943== D1  miss rate:         0.2% (        0.2%     +        0.2%  )
==3943== LLd miss rate:         0.1% (        0.0%     +        0.2%  )
==3943== 
==3943== LL refs:           344,736  (    204,789 rd   +    139,947 wr)
==3943== LL misses:         140,517  (      7,234 rd   +    133,283 wr)
==3943== LL miss rate:          0.0% (        0.0%     +        0.2%  )