The Cheap Audio Man on youtube really likes those speakers but they can be a bit bright sounding he says, so maybe turning the treble down a couple of dbs would sound best. Up to you.
The Denon AVR-S540BT is only $279 from Denon directly. That's a nice receiver for cheap. Or at Costco, you can get the newer feature rich AVR-S760H for $400, normally $600 everywhere else. The new AVR-S570BT is a step down but not availabe at Costco. It's the newer version of the S540BT with 8K and upgraded speaker posts. It's $400 from Denon directly as well. The AVR-S760H is a much better receiver and buy!
Yamaha doesn't have much selection now a days, and I just tried Onkyos newest and was disappointed so it went back for a Denon AVR-S960H. I have a Denon AVR-2312ci (equivalent to a AVR-X3800H but with 7.1 ch) in my media room but it's only 1080p with no HDR pass through so the S960H is a step up in more current formats and compatibilities.
IMO, either the Denon AVR-S540BT @ $279 or Denon AVR-S760H @ $399.
Good luck