ART: Change UninitializedThis tracking in the verifier
Only relying on register types is error-prone. For example, we may
inadvertently reject correct code when the constructor terminates
abnormally.
Bug: 20843113
(cherry picked from commit f10b6e10)
(cherry picked from commit af31802e)
Change-Id: I8826cd167780df25a6166740f183d216483fa550