pub fn verify_proof( root: Option<&Hash>, leaf: &Hash, proof: Option<&Proof>, ) -> bool
Verify a MerkleProof with the given root and leaf.