Reintroduces the 'mangle' abstraction that was removed in the switch to robinhood hashing.

Fixes #13195.