Practical High-Coverage Sound Predictive Race Detection