Might want to consider the onkyo 3009 if onkyo is a serious contender and you want to save a few bucks. But all your choices are good. The denon and onkyo do offer audyssey xt32 which eq's the bass and does a fine job helping your system sound awesome in your main listening positions.
butter and jelly please.
Home theater gladly not designed by ereed or bgtighe23. 65" JS9500, Marantz 7702MKII, Parasound Halo A31, ClassDaudio SDS470 4ch, RBH R56, 4xRBH R55, 2x RBH R5, Hsu VTF 2 MK 3 and VTF 3 for subwoofage, OnStage MS7701B mic stand with boom for improved Audussey XT32 calibrations. Listening space happily treated with 1" OC 703 rigid fiberglass. OPPO 203 or 205 soon.