Since the latest Standard now dictates that signed integers are
implemented in two's complement, can we now do away with signed
overflow being undefined behaviour?

How about the following being true for all compilers?

     int i = INT_MAX;

    ++i;

    static_assert( INT_MIN == i );