Merge #7500: Correctly report high-S violations
9d95187 Correctly report high-S violations (Pieter Wuille)