fix(l2): replace ExecutionDB from_exec() impl to use a CacheDB based approach

[xqft]

Motivation

A ExecutionDB is created from a block's pre-execution but the current implementation is incorrect and not all needed data gets stored. The goal is to replace this with another approach, using an auxiliary "caching" database that will retrieve data from a Store or an RPC endpoint (like in #1705) during the pre-execution of a block, finally resulting in a db that contains all the needed execution data.

Description

• replace ExecutionDB::from_exec() to use the CacheDB, rename it to from_store()
• some refactors

[github-actions]

| File                                                                              | Lines | Diff |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/proposer/prover_server.rs               | 451   | +1   |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/prover/zkvm/interface/risc0/src/main.rs | 44    | +3   |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/prover/zkvm/interface/sp1/src/main.rs   | 45    | +3   |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/l2/prover/zkvm/interface/src/lib.rs        | 164   | +44  |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/db.rs                                   | 142   | +45  |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/errors.rs                               | 119   | +4   |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/execution_db.rs                         | 227   | +43  |
+-----------------------------------------------------------------------------------+-------+------+
| /home/runner/work/ethrex/ethrex/crates/vm/vm.rs                                   | 818   | -1   |
+-----------------------------------------------------------------------------------+-------+------+

Total lines added: +143
Total lines removed: 1
Total lines changed: 144

[fborello-lambda]

LGTM, the prover compiles and the test make perf-risc0 passes.

We have to keep in mind that the blocks used for testing contain just plain transfers.

I think that #1705 will provide more insight and test-cases.