Merge "ART: Same skip-compilation heuristic in both backends"