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>)>