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