Check-labelize ubsan tests