Agree with @auxinput. You're getting good, but still budget, speakers so I'd be a little concerned at their level of overall refinement, especially in the highs. If you share those concerns or prefer a richer and slightly less bright sound, the Marantz is probably the way to go. I think the Anthem MRX 720 is a better overall unit with a more neutral sound and extremely good Anthem Room Correction (ARC) processing, but again it comes down to system matching and personal tastes.
All that said, I doubt you'd be disappointed with the Denon and you'd save a good amount of money. Personally I'd take the Yamaha RXA2080 at that price point as Yamahas have gotten very positive reviews for sound quality, have proven to be one of the most reliable AVR brands, and now incorporate AI into sound processing that could be interesting. Best of luck in whatever you choose.
All that said, I doubt you'd be disappointed with the Denon and you'd save a good amount of money. Personally I'd take the Yamaha RXA2080 at that price point as Yamahas have gotten very positive reviews for sound quality, have proven to be one of the most reliable AVR brands, and now incorporate AI into sound processing that could be interesting. Best of luck in whatever you choose.