This adds a `mu verify` command that simply runs the verification pass against a MuPackage and its MuIL. This is handy for compiler authors to verify that the right stuff is getting emitted.