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