Statistical Critical Path Selection for Timing Validation