I don't know about the instant on switches, but HP has had several switches that support 802.11bz since at least 2018. They call it SmartRate. I'm guessing because the instant on family is targeted for "small and growing businesses" they did not include SmartRate to keep the costs down because they did not think a small business would need it. Many of the more enterprise SmartRate switches can still be managed via Aruba Central.
Protect Your Network Investment with Aruba SmartRate Switches | Aruba Blogs (arubanetworks.com)
I am guessing but I think Shane's issue was that he has standardized on the affordability of Instant On product line and while the Instant On AP25 supports 2.5G there are no Instant On switches that can supply the AP it's top speed. I assume he is looking to deploy the AP25s in a smaller high density or high bandwidth client demand location and needs the higher speed.
I could agree given that 2.5G 802.3bz is starting to make it into some cheap switches from lower end manufacturers like NETGEAR and TrendNet that it may turn into a conspicuous omission in the Instant On switching product line.