I would also add Bryston B-135 cubed to your list.
If you want to keep the price down the Moonriver Audio Ref integrated is only $5k new and has great reviews. Said to drive most speakers really well. I’ve heard it with a Focal Kanta 3.
If you switch speakers a lot you should probably try to find an amp that can drive almost anything.
I think I heard the Bladelius Oden a few months ago and according to the specs it should handle all speakers as it outputs 2x400w into 8 ohm. It is a bit outside your price range but might be worth looking up.