I think any AVR from Yamaha, Denon, Marantz, Sony, Pioneer, Integra should work.
1. Yamaha - might have best reliability and compatibility, but usually not on sale and cost more
2. Denon - usually have the best sales, X3000 and higher models have Audyssey XT32 if you care for Auto Room EQ features
I believe the Denon X3500 is comparable to the Yamaha RX-A1080. But you can usually get the X3500 for $600 and the RX-A1080 for $1200.
So it's kind of hard to recommend the Yamaha for TWICE the price.