This is the last one I have planned for now:

Each commit here should be fairly self explanatory.

1. add an unchecked assertion in determine_shard to force no bounds checks later on. safety requirement is closer to the source
2. removes the Map trait, not sure why it was ever needed
3. removes unused type bounds from Iters
4. removes unused unsafe markers on some functions