Yo te recomendaría el ONKYO TX-NR808, de hecho lo he encargado y me tiene que llegar en esta semana.
Por lo que he leído en análisis en páginas extrangeras la calidad de sonido es excelente, tiene 7 entradas HDMI 1.4a y 2 salidas, 7 x 135w RMS a 8 ohmios (más que suficiente).
Con respecto a los que has puesto, personalmente tiraría más por el Marantz, el Onkyo para mi tiene una excesiva potencia que no se va a utilizar en la vida y las entradas HDMI son 1.3, el Denon no dudo que sea un aparato excelente pero con la calidad de sonido de mi actual AVR 3805 he quedado un poco decepcionado (excesivamente metálico y chillón) no se si ese estará en esa misma línea, ya de los Pioneer no te puedo decir nada.
http://www.eu.onkyo.com/products/TX-NR808.html
http://www.whathifi.com/Review/Onkyo-TX-NR808/
Un saludo.