> We just need tools that make the bug visible, e.g. the undefined behavior sanitizers.

Does the compiler faithfully compile the source code with sanitizers? Of course not, so we still cannot rely on them.

> So you can not distinguish between intended wraparound and incorrect wraparound.

This is exactly why I implemented both types in my arithmetic. The one I used is the one I intended.