Merge "Several fixes for JIT and self-verification under corner cases." into dalvik-dev