pub fn verify_proof(proof: &SetMembershipProof, element: &[u8]) -> bool
Verify a set membership proof.