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

This is #15720, rebased and reopened.

cc @nikomatsakis
Oops, it was safe before a recent addition of `MapMutRef` that benefits from this parameter.