Various verifier fixes.

Change-Id: Ia73e9f8500c32ec8924afe1099d172bd00fdecbf
diff --git a/src/dex_verifier.h b/src/dex_verifier.h
index d27be35..e248ed4 100644
--- a/src/dex_verifier.h
+++ b/src/dex_verifier.h
@@ -204,7 +204,7 @@
 
   std::string Dump() const;
 
-  const RegType& VerifyAgainst(const RegType& check_type, RegTypeCache* reg_types) const;
+  bool IsAssignableFrom(const RegType& src) const;
 
   const RegType& Merge(const RegType& incoming_type, RegTypeCache* reg_types) const;