Fix CHECK directives that weren't checking.