Mutate checked arithmetic

[sandersaares]

I try to use checked arithmetic like foo.checked_add(123) and I observe that this is not mutated. It feels a good candidate to mutate, similarly to how regular arithmetic is mutated (e.g. into foo.wrapping_add(123) or foo.saturating_mul(123)).

[sourcefrog]

I guess this could be generalized into a mapping of function/method name replacements, but checked arithmetic would be a great place to start.