EIP1186AccountProofResponse verification against state root

[puma314]

Describe the feature

Right now Reth has no good functions or libraries for merkle proof verification. Merkle proof verification against the state root is important for both fault proofs and zkEVMs, to verify that accounts and storage slots against a state root of a particular block, before processing a batch of transactions.

In particular, it would be great to implement a method like this one from the optimism codebase in golang as a primitive in Reth or some other appropriate library (alloy or something else).

Additional context

No response

[puma314]

Slightly related to #8147, cc @0xKitsune @0xOsiris