Tests: Use CHECK-LABEL where possible
Tests: Do not unnecessarily depend on kill comments