I'd have probably sent Skenes out for the 8th, simply because the sixth and seventh were so easy for him. He obviously wasn't laboring at that point.
However, are we sure Justin Verlander is the guy we want to use as a comp here? Yeah, Verlander threw a lot of pitches in a no hitter late in the 2019 season. And then in the 2020 season, Verlander pitched a grand total of six innings. And then in 2021 he pitched a grand total of, well, zero innings.
Of course no one knows, or has any way to know, if there is any causation there. But that's kind of the point. No one knows. Which is why teams are so cautious.
And by the way, for the people blaming "analytics", there is no analytic basis for any given pitch count number. But if there were, it almost certainly would not be a nice, round number like 100.