irverify: Enforce invariant that PhiNodes are at the beginning of a BB#50158

Keno merged 1 commit intomasterJuliaLang/julia:masterfrom

kf/irverifyphiblockJuliaLang/julia:kf/irverifyphiblockCopy head branch name to clipboard