Merge "ART: Remove forced invariant checks"