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

This is #15720, rebased and reopened.

cc @nikomatsakis
Minor point: you go from referring to load factors as percentages, to referring to them as fractions here.