Few weeks ago on my work we spend a week (not all but still a lot of time) to find why sort with libc++ was incorrect. As result we add similar (but a simpler check).

I think always do such checks isn't good (because performance reasons), but with address sanitizer it's sounds very good for me