Merge "Finish adding checks to dex ir verification."
am: 998e42aac5

Change-Id: Ic4ff3bb2ed879cb53af82dc821ab25f720636237