Check for dangerous unsigned integer overflows in check_area_conflicts().

- Rename overflows_add() to overflows_into_positive().
- Introduce overflows() for simple sum overflow tests.