Fix ART verification errors in NREPL

Still awaiting comments on the upstream ticket, but for now this gets rid of the last of the verification errors. The only error with nrepl now appears to be dex2oat complaining about the dex version number.