ART: Fix return-object verification

If the declared return type was unresolvable, we always threw a
soft failure, only. However, if the register type is not a reference,
this should always be a hard failure.

Add a test case.

Bug: 25494456
Change-Id: I6482a45ec36b58895816647da0ff3a731b31319f
4 files changed