This only checked that Phis are NOPs.
be_verify_register_allocation() does the same and more.