Merge "Finish adding checks to dex ir verification." am: 998e42aac5 am: 2ead0ac5c9
am: 32b4c697c5

Change-Id: I70eb25876a8e7f5c258539f09b75726044369e5d