Add an MRI::verifyUseLists() function.

This checks the sanity of the register use lists in the MI intermediate
representation.