Merge changes I66c62317,Id097273a,If3bfe695

* changes:
  ART: Recognize compile-time soft-fails
  ART: Change CanAssumeVerified to GetPreviousClassState
  ART: Move Class::Status to ClassStatus