feat(manual_saturating_arithmetic): lint x.checked_sub(y).unwrap_or_default()

feat(manual_saturating_arithmetic): lint x.checked_sub(y).unwrap_or_default() #5678