[asan] a bit stricter lint for CHECK vs CHECK_XX (these CHECK_XX really help debugging!)