Those are nice speakers, but any of them 'deserve' better than a receiver or a $1000-1200 DAC/amp/DSP budget. And that's coming from a 'speaker guy' who uses $730/pair mono-blocks on $4,000/pair speakers. Of course you can 'limp along' with your receiver until you can spend more. Note that DAC technology has been changing so fast I'd avoid investing heavily in the DAC. If you're using Tidal you might want to look at a $300 Meridian Explorer 2 DAC to gain full access to MQA. DSP can be added later as it seems that your budget is tight. Again after buying speakers look for an amp that serves your source(s)/speakers best.
For the specified room sizes, already owning a nice sub, and apparently not having children/pets I'd stick with stand mounted speakers. And I'd look towards better tweeter/woofer quality versus a 3-way speaker (as Harbeth, ProAc, and Sonus Faber would also). I find that 6-7 inch woofers are needed to provide good mid/bass body (something that the sub can't do). Next step is to adjust your budget up, then make serious auditions: bring a selection of music you are familiar with, look for a private room that resembles home, make sure the setup is good, and take notes (forces you to really listen and doesn't rely on fleeting aural memory), and limit yourself to 3 or 4 speakers per day.
Just to give an idea of a good system that you're aiming for: $4000/pair Harbeth 7ES-3, $3500 DSPeaker X4 (DAC/pre/DSP), $1700 PS Audio Stellar S300 power amp, $800 for cables/rack, $10,000 total. Can you go cheaper? Yes, as always with compromises: $2200/pair Harbeth 3PESR, $800 DSPeaker Dual Core (DAC/pre/DSP), $649 NuPrime STA-9, $350 for cables/rack, $4000 total. Can you go cheaper yet? Not without dropping down into another league entirely.