Actually run Check_ir on prog', not prog#180

nomeata merged 1 commit intomastercaffeinelabs/motoko:masterfrom

joachim/check_ir_phasecaffeinelabs/motoko:joachim/check_ir_phaseCopy head branch name to clipboard