Merge "Check monitors during bytecode verification" into dalvik-dev