refactor(l1): remove keys dependency, pin ethrex deps, and add NativeCrypto

[avilagaston9]

Motivation

The ExecutionWitness struct in ethrex no longer includes a keys field (removed in lambdaclass/ethrex#6356). The --no-zkvm replay path relied on witness.keys to discover account addresses and set up storage tries. This PR adapts ethrex-replay to the new API and pins dependencies to the merge commit.

Description

1. Remove keys dependency in --no-zkvm path: Instead of iterating witness.keys to get addresses and then looking up each in the state trie, enumerate accounts directly from the state trie's InMemoryTrieDB. After commit(), leaf entries have paths of 65 nibbles (64 for keccak256(address) + 1 leaf flag 0x10) with raw RLP-encoded AccountState as values. The first 64 nibbles are converted back to the 32-byte hashed address needed by the Store.

2. Add NativeCrypto parameter: The ethrex refactor made the Crypto provider injectable. All call sites that require it (sender, execute_block, prepare_block, get_transactions_with_sender, new_for_l1, new_for_l2) now pass NativeCrypto. Added ethrex-crypto as a direct dependency.

3. Pin ethrex deps to a specific commit: Dependencies now use rev = "b962fbfb..." (the merge commit of #6356 on main) instead of tracking a branch. This avoids unexpected breakage from upstream changes.

4. Remove Holesky references: HOLESKY_CHAIN_ID and PublicNetwork::Holesky were removed from ethrex at the pinned commit (replaced by Hoodi).

[Copilot]

Pull request overview

This PR updates the L1 --no-zkvm replay state preparation to stop depending on the soon-to-be-removed ExecutionWitness.keys field by deriving the set of accounts from the state trie instead.

Changes:

• Removes usage of witness.keys (and the ethrex_storage::hash_address import) in prepare_no_zkvm_state.
• Attempts to enumerate state-trie leaf entries from InMemoryTrieDB and derive the hashed-address from the leaf path to write storage trie nodes.

---

💡 Add Copilot custom instructions for smarter, more guided reviews. Learn how to get started.

[Copilot]

account_state_rlp here is coming directly from InMemoryTrieDB::inner() which (as used in get_trie_nodes_with_dummies) stores RLP-encoded trie nodes at each path, not raw RLP-encoded AccountState. Decoding it as AccountState will fail (and you continue), so no storage tries get written and add_block_pipeline will likely read missing storage.

Instead, decode the value as a trie Node first, select only Leaf nodes, extract the leaf’s embedded value bytes, and then RLP-decode those bytes into AccountState before proceeding.

Suggested change

	let Ok(account_state) = AccountState::decode(account_state_rlp) else {
	continue;
	};
	// `account_state_rlp` is actually an RLP-encoded trie `Node`, not a raw `AccountState`.
	let Ok(node) = Node::decode(account_state_rlp) else {
	continue;
	};
	// Only leaf nodes contain account state; extract the embedded value bytes.
	let leaf_value = match &node {
	Node::Leaf(_, value) => value,
	_ => continue,
	};
	let Ok(account_state) = AccountState::decode(leaf_value) else {
	continue;
	};