Function verify_leaf

pub fn verify_leaf(
    ctx: Context<'_, '_, '_, '_, VerifyLeaf<'_>>,
    root: [u8; 32],
    leaf: [u8; 32],
    index: u32,
) -> Result<()>

Verifies a provided proof and leaf. If invalid, throws an error.