Added option to allow verification of objects on the stack.

Currently it's defined out by VERIFY_OBJECT_ENABLED. Also made various
fixes to allow heap object verification to work again.

(cherry picked from commit d4983495782be8d54c9c1f0266dc52395b947724)

Change-Id: Icd625e1e0dc240c0ad1d10e2c58c7d5d63fec030
diff --git a/src/runtime_support.cc b/src/runtime_support.cc
index af8ce22..e76e89f 100644
--- a/src/runtime_support.cc
+++ b/src/runtime_support.cc
@@ -34,6 +34,7 @@
   // Be aware the store below may well stomp on an incoming argument
   *sp = Runtime::Current()->GetCalleeSaveMethod(type);
   self->SetTopOfStack(sp, 0);
+  self->VerifyStack();
 }
 
 /*