I will throw in a further two cents. I would keep your Magicos if you like them. If you’re downsizing your house, you may not benefit from a larger speaker in a smaller room. Much as you like your Luxman, I think you could improve your electronics. At the Capital Audio Fest, the Command Performance room featured the new Gryphon integrated amp running your speakers, and the sound was glorious. The Gryphon has more oomph than your Luxman. Your location is great in that you can easily visit Command Performance in Falls Church, and can directly compare the Gryphon vs the Luxman on the A3’s in the store, as they are a dealer for all. I’d give Jeff a call there. They also carry Doshi, so if you wanted to compare top tube equipment, you can do so.
The second recommendation would be to look at power management. Command Performance carries Audioquest, and investing in one of their Niagara systems with new power cords might be worthwhile. As you like Audioquest (I have the Gibraltar with DBS speaker cable myself), you might up your game there in both speaker cable and interconnects.
Finally, I agree that you should check out streaming. It’s been a game changer for me. Aurender makes streamer/Dac combos that are really great with an easy to use software control on an iPad. Command Performance is a dealer there, too.
The above changes could be $50-60K, allowing you to use the rest for a number of Wagyu beef dinners with great wine. Jeff could also consult with you regarding your room. Good luck! (Jeff is the owner)