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)
