Its crazy too spend too much on them. You’re right that a wide tire can negate aero features on wheels, as your mounted tire gets more than 0mm wider than the widest bit of the rim, the aero bonus affect is pretty minimal. As long as the width is matched, you’re in good shape aero-wise. You get more frontal area, but he scale doesn’t offset the efficiency. Note that crosswinds are a factor as the bigger tire catches more wind.
A german magazine (roadbike.de ?) did a test of basically the whole DT Swiss lineup with a 25c tire. It pretty much showed that rim shape (a good U shape on top) and tire width match mattered as much as depth, so you need to get that right first. So a DT Swiss C-series rim (26mm wide) might be a better fit for a 25mm road tire than a narrower P or E series rim marketed for road work. There are some really wide rims out there (most are marketed as gravel rims) though, but the width would be better suited for modern tires. So for aero, rim width / tire match, Rim shape, and then depth are the order of importance.
Wide rims also make those tires look proportional visually. Anything more than 3-4mm wider than the rim and the “ice cream cone” shape is not a good look with the deep rim.
Those particular Bontrager “Pro” series wheels are a decent value $1300 for branded, off-the-shelf wheelsets, but I wouldn’t go larger than 30c tires on them (for aero reasons). A 30c will be about 31mm on those - depending. Maybe go 28c-30c front, 32c rear as you wouldn’t have a compromise with that. Will it be as aero as a matched 25c tire and rim, - you’d be giving up some points, but not much. 3t and DT Swiss (GRC) have some wheels in this space too, but at the wrong price.
One thing you might consider… ‘generic’ carbon rims for about $900 (THat just went up $200 - ouch). A quality AL wheelset is going to be about the same as a DT Swiss 350/Pillar spoke/ CN carbon rim setup and will be a lot stronger and aero. Lightbicycle has their WR series at 33.5 mm wide, which come 1:1 with my g-One Speed 30c tires. The AR (22mm int) measure that same tire at 30.5mm. The Vittoria Corsas 30c measure 2mm smaller.