The DFG Integer Check Combining phase should force an OSR exit for CheckInBounds...