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