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