Add std::num::Saturating

Saturating is an implementation of saturating math operations (at the
moment just add and sub) for integral types.
Update Iterator impls to use Saturating

Replace hand-rolled saturation math with calls to Saturating.

Fix one impl that didn't use saturating math.