Describe the feature

Modify the proof calculator to use branch nodes cached in Accounts/StoragesTrie tables. When cached branch nodes are present we can skip descending into any of their children which:

• Have a pre-calculated hash in the cached branch node.
• Are not a child of the current proof target.

The proptest should be modified to initially use StateRoot to generate TrieUpdates for the test dataset, and include those TrieUpdates in the mock cursor factory.

Additional context

No response