That crr improvement on a TT front wheel at near 25mph plus is more than gone by the aero penalty of running a big tire.
Of course not for 19mm. But I’d say the aero holy grail for a light enough rider to balance with crr is still 23mm for TT.
Road in a group. Crr will save more probably in practice due to being in draft and on hills a lot. So 25 for non TT.