am dd24fcf3: Merge "Revert "ART: Remove wrong DCHECK""

* commit 'dd24fcf3e3e76ca2df7d00258e347cc2517fce48':
  Revert "ART: Remove wrong DCHECK"