Rust

Introduce new versioned `execution_proof_check` #3865

Job	Run time
cargo-fmt	27s
cargo-docs	6m 48s
cargo-test (self-hosted, ubuntu-20.04-x86-64)	19m 26s
cargo-clippy (self-hosted, ubuntu-20.04-x86-64)	9m 47s
cargo-test (self-hosted, macos-14-arm64)	27m 24s
cargo-clippy (self-hosted, macos-14-arm64)	15m 9s
cargo-test (self-hosted, windows-server-2022-x86-64)	34m 41s
cargo-clippy (self-hosted, windows-server-2022-x86-64)	24m 21s
	2h 18m 3s

Provide feedback