pub fn test_consistency_proof_impl(
    (batch1, batch2): (Vec<HashValue>, Vec<HashValue>)
)