You don't mention the size of your room. Bear in mind that the Marantz receivers you list have relatively low output power. They work best with efficient speakers in a small room. Their reason for existence is their relatively small size. Since you're replacing a full-sized receiver, I'd suggest the Denon unit.
Marantz SR7009/7.1.4/FH+TM/DefTech PM1000/LCR+TM amped