ART: Make a soft failure in method verifier hard, add check

Make the soft error of using a primitive type in an instanceof a
hard verifier error.

Add a check when doing check_cast peep-hole optimization to check
whether the cast type is valid.

(cherry picked from commit 00633eb490ad21f711dcfccfb3a70992b2f8a72a)

Bug: 16020300
Change-Id: Icaea560d17804f24a13dc09c115e9ec7039cb472
1 file changed