Feat: Add support for computing account and storage proofs with overlay state

## Description

The current `StorageEngine` implementation supports computing proofs for committed state (on-disk). However, for integration with execution layers (like Reth) that need to query pending state or simulate transactions, we need the ability to generate Merkle proofs for state that includes in-memory overlays (uncommitted changes), without persisting them to disk first.
