[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: https://github.com/0xPolygonHermez/cdk-erigon/pull/180 We should re-open and try to merge it.

[cffls]

Sub-tasks:

• https://github.com/0xPolygonHermez/cdk-erigon/issues/1369
• https://github.com/0xPolygonHermez/cdk-erigon/issues/1370
• https://github.com/0xPolygonHermez/cdk-erigon/issues/1371