Of the avrs you mention the Marantz would be my choice, but for the money I'd rather have this
Denon 3300. If anything just for the better Audyssey XT32 over the Marantz 5012's XT, and I'm no fan of the Marantz porthole panel display. I wouldn't consider Onkyo/Pioneer at this time.
Not familiar with the current Klipsch/Polk/Elac stuff but haven't been too impressed in the past with their lower end offerings, altho the Klipsch RP line I'd like to hear from various comments I've read.