Regression cleanup: Apply stricter rules to checking (expected failures must fail)