Draft: more for Revm#551

clarus wants to merge 5 commits intomainformal-land/coq-of-rust:mainfrom

guillaume-claret@more-for-revmformal-land/coq-of-rust:guillaume-claret@more-for-revmCopy head branch name to clipboard