Revert "ART: Remove wrong DCHECK"

This reverts commit 5be30072c5a750617dc3f9380776d074f26d9f32.

The underlying computation was fixed in AOSP before.

Bug: 17772057
Bug: 17763227
Bug: 17762845
1 file changed