I'd look at Marantz, this
NR1510 is the cheapest one, they have bigger, and more powerful ones, too...
When I was researching a new hifi for my TV and Airplay streaming, Marantz always came up on or near the top whatever I wanted to prioritize. We had a Marantz amp when I was groing up, and I've never since had anything that sounded better (relative to cost).
(Now, since I - in the end - only wanted a 2.0 receiver, I went with Bluesound node 2i, but that and Airplay never worked as well as I hoped - not sure if that was NAD/Bluesound's fault or Apple, probably a little of both - so I replaced that with two Homepod 2s.)
Another - slightly cheaper - brand is
Onkyo, which I used to have back when I had a 5.0 setup, and it had good sound and packed a good punch. (Though I'm not sure if they support Airplay, if that's something you need.)
Not sure if any of these support mic for setup, though. The only receivers I looked at, that supported that was the
Lyngdorf TDAI-1120 which is a 2.0 and some other, cannot remember which one, maybe the NAD M10 or a Naim receiver, that also was "only" a 2.0.