It would be reassuring to check that everything works as expected when we operate on HashMaps of maximum height. It seems fairly simple to generate the necessary hashes, by inverting the bit order, e.g. turning `0b0...01` into `0b10...0`.