verify_proof: RuntimeDescriptor<[leaves: Binary[], proof: {
    items: FixedSizeBinary<32>[];
    leaf_count: bigint;
    leaf_indices: bigint[];
}], ResultPayload<undefined, MmrPrimitivesError>>

Verify MMR proof against on-chain MMR for a batch of leaves.

Note this function will use on-chain MMR root hash and check if the proof matches the hash. Note, the leaves should be sorted such that corresponding leaves and leaf indices have the same position in both the leaves vector and the leaf_indices vector contained in the [LeafProof]