std: Add a test for operations that depend on overflow checks

I wasn't able to find a test that verifies different behavior based on
whether or not overflow checks are available, so add one here.