pub fn verify<const N: usize>(root: Hash, proof: &[Hash], leaf: Leaf) -> bool
Verifies that a given merkle root contains the leaf using the provided proof.