ART: Handle unresolved catch handler types differently in the verifier

The move-exception should not trigger a synthetic throw, as that
may be caught by another catch handler, while the code is unreachable.
Use a specific flag and failure instead.

Bug: 134061982
Test: art/test/testrunner/testrunner.py -b --host -t 800
Change-Id: Ie6859e3a1910171b34882889ebece6cadc9dd508
6 files changed