better insertion sort

- More concise
- No decrement underflow
- No moves when no insertion needed