[Improvement] Zero tracer validation

[cffls]

This has been mentioned in zk_evm discussion. Basically, we want to validate the trace of each transaction from zero tracer before it returns.

Steps:

1. Apply state deltas from zero trace on top of block witness and compute the pre-state trie for each transaction.
2. Execute a transaction from the pre-state trie and compute the post-state trie.
3. For each transaction in the block, compare if the post-state trie yielded by transaction execution (from step2) matches to the pre-state trie computed for the next transaction (from step1).

Prerequisites:

• Ability to re-construct a state reader (intra block state) from a witness. This work is almost done in this PR: init : witness To SMT #180 We should re-open and try to merge it.

[cffls]

Sub-tasks:

• [Feature] Apply zero traces to a SMT trie #1369
• [Feature] Trim an SMT based on a read list #1370
• [Feature] Apply a single transaction to an SMT #1371