Revm: Links: revm_bytecode/eof/decode_helpers.v

[clarus]

Complete the link file for https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/revm_bytecode/eof/decode_helpers.v An example of link file that is fairly complete is https://github.com/formal-land/coq-of-rust/blob/main/CoqOfRust/revm/revm_interpreter/links/gas.v