Introduces `VerifyExistenceProof` trait (#5682)
Introduces a trait for verifying existence proofs in the runtime. The
trait is implemented for the 16 patricia merkle tree and the binary
tree.
---------
Co-authored-by: Shawn Tabrizi <[email protected]>
Co-authored-by: command-bot <>