I went with Onkyo’s tx-nr7100. It has the zone 2 and is 9.2 with dirac live. The only thing its missing is the preouts for an additional amp. I wasn’t willing to pay 600$ more to get that. Still no regrets. I almost went with the denon you listed but have always had Onkyo’s and stuck to the familiar. Accessories4less has very good deals on all these receivers. Give them a look if you haven’t yet.
I paired this up with Klipsch 5.1.2 speakers which adorama has on sale often for 750$… Then added 2 more in ceiling Atmos speakers. Pretty nice setup for the price.