Function ics23::verify_batch_non_membership

pub fn verify_batch_non_membership(
    proof: &CommitmentProof, 
    spec: &ProofSpec, 
    root: &Vec<u8>, 
    keys: &[&[u8]]
) -> bool