pub fn arb_existent_kvs_and_nonexistent_keys<V: TestValue>(
    num_kvs: usize,
    num_non_existing_keys: usize
) -> impl Strategy<Value = (HashMap<HashValue, V>, Vec<HashValue>)>