Document when to use #[rustc_inherit_overflow_checks]

[m-ou-se]

We're using Add:add(..) explicitly in a few places that should probably just use #[rustc_inherit_overflow_checks] instead.

We should document how the attribute works and when to use it.

(cc @eddyb)

[m-ou-se]

See also rust-lang/rust#81721