Optimized HashMap. RawTable exposes a safe interface. (reopen)

This is #15720, rebased and reopened.

cc @nikomatsakis
Actually, at most `size - distance` elements after me in the cluster. Obviously there can be at most `size` elements and we already are `distance` buckets away from the initial one.