Rewrite Saturating in terms of CheckedAdd/CheckedSub
auto merge of #8515 : kballard/rust/saturating-checked, r=thestinger

r? @thestinger