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