[ASan] Make wait.cc more Darwin-compatible: fix the header name and the CHECK patterns.