- New register allocation verifier