ART: Fix wrong hard-failure handling in verifier

Correctly return null for the method when a hard failure is
encountered. Also improve logging for order failures. Add a
regression test.

Bug: 20224106
Change-Id: I6e08202617147378b204af169308b67fc69f92c6