By "register allocation verifier", I meant the checker as mentioned in the post you quote.