MIR Parser: Run the machine verifier after initializing machine functions.