Enabled verification in the compiler and some other verifier fixes.

The verifier still needs to be able to continue execution after it fails
to resolve a class or method. The structure for that doesn't exist yet.

Change-Id: Ie32f6f9971fed02b645ba715bc5164f86f70f1c6
diff --git a/src/class_linker.h b/src/class_linker.h
index e143fd8..d0d3827 100644
--- a/src/class_linker.h
+++ b/src/class_linker.h
@@ -155,6 +155,8 @@
 
   ObjectArray<StackTraceElement>* AllocStackTraceElementArray(size_t length);
 
+  void VerifyClass(Class* klass);
+
  private:
   ClassLinker(InternTable*);