statemanager: verify prestate accesses

[gabrocheleau]

This PR adds a verkle feature to verify that all the provided witness keys have been accessed during block execution. As per the spec, blocks that include extra witnesses are considered invalid and should be rejected.

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 87.92%. Comparing base (d24ca11) to head (e6cc146).
Report is 8 commits behind head on master.

❗ Current head e6cc146 differs from pull request most recent head 9bf6001. Consider uploading reports for the commit 9bf6001 to get more accurate results

Additional details and impacted files

Flag	Coverage Δ
blockchain	?
common	94.29% <ø> (ø)
devp2p	81.85% <ø> (?)
statemanager	?
util	?

Flags with carried forward coverage won't be shown. Click here to find out more.

[gabrocheleau]

After discussing this, it turns out that the postState exhaustiveness verification implicitly also acts as a satisfactory verification for the preState. Initially did not realize this was the case, but this means that we can now close this.

As for the other fixes and increased test coverage that were part of this PR, I will port them over to #3421