Merge "Fix self-verification with backward branches or invokes." into dalvik-dev