Etherlink: complete gas limit validation
Context
Closes L2-337.
Validation code is based on REVM's validation to be fully exhaustive, see this code and unroll it.
Testing
dune exec etherlink/tezt/tests/main.exe -- gas_limit calldata_cost --file validate.ml
Edited by Rodi-Can Bozman