Clean test: remove a debug label
Add support for checking if a program is valid LIR