Update to the MIPS model.

The decoder is now more strict.