Start using CHECK-LABEL in some tests.