pub fn arb_three_hash_batches(
    length: usize
) -> impl Strategy<Value = (Vec<HashValue>, Vec<HashValue>, Vec<HashValue>)>