Overflow-Safe Addition

Implement addChecked: returns the sum, or std::nullopt when it would overflow — for every signed combination, including INT_MAX/INT_MIN extremes. No signed overflow may occur in your implementation (pre-check, don't post-detect).