Bug 512634 - nanojit: identify RegAlloc invariants. r=edwsmith.