Merge "ART: Improve class initializer and constructor verification."