Fix boom tests.

Programs now need to be syntactically valid even if they statically
crash before finishing successfully.