revm: add rust files and more links admitted

[clarus]

No description provided.

[Copilot]

Pull Request Overview

This PR adds numerous Rust files implementing various BTree-related functionalities along with tests and updates to the Coq extraction and workflow scripts. Key changes include:

• Implementation of new modules for BTree operations (split, search, remove, fix, append, etc.) and associated tests.
• Addition of utility code for borrow management and specialized iterators.
• Updates to the GitHub workflow to include Rust source files in rsync commands.

Reviewed Changes

Copilot reviewed 593 out of 593 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
CoqOfRust/alloc/collections/btree/split.rs	Adds tree split functionality and computation of split lengths.
CoqOfRust/alloc/collections/btree/set_val.rs	Introduces a zero-sized type for internal BTreeSet values.
CoqOfRust/alloc/collections/btree/set/entry.rs	Implements entry API for BTreeSet with vacant/occupied variants.
CoqOfRust/alloc/collections/btree/search.rs	Provides search routines for BTree trees and range bifurcation.
CoqOfRust/alloc/collections/btree/remove.rs	Implements removal routines for key-value pairs in BTree.
CoqOfRust/alloc/collections/btree/node/tests.rs	Adds tests verifying node back pointers and size invariants.
CoqOfRust/alloc/collections/btree/mod.rs	Organizes BTree submodules.
CoqOfRust/alloc/collections/btree/merge_iter.rs	Adds a merge iterator for combining two sorted iterators.
CoqOfRust/alloc/collections/btree/mem.rs	Provides low-level mutating functions using unsafe code.
CoqOfRust/alloc/collections/btree/fix.rs	Implements routines to rebalance and fix underfull nodes.
CoqOfRust/alloc/collections/btree/dedup_sorted_iter.rs	Adds an iterator to deduplicate sorted key-value pairs.
CoqOfRust/alloc/collections/btree/borrow.rs and tests	Introduces a custom borrow mechanism via DormantMutRef.
CoqOfRust/alloc/collections/btree/append.rs	Implements bulk appending and merging from sorted iterators.
Additional files (boxed/iter.rs, alloc/tests.rs, .github/workflows/rust.yml)	Update core collection iterator traits, allocation tests and workflow rsync patterns to include .rs files.