Hola otra vez:

Veo que repartes el presupuesto de 800-900 euros a medias entre el receptor y cajas, ten en cuenta que estamos hablando de un conjunto de cajas 5.1 (cinco cajas más subwoofer), pienso que lo lógico es destinar algo más de presupuesto a las cajas ya que además entramos en una banda de precios donde hay varias ofertas interesantes:

Receptores A/V:

De los que comentas me quedo con:
- Onkyo TX-SR501 (500 €)
- Denon AVR-1803 (500 €)
- Harman Kardon AVR-2500 (450€)

Y yo añadiría:
- Denon AVR-1604 (430 €) Mejor relación calidad precio (más nuevo y mismas prestaciones) que el AVR-1803
- Yamaha RXV-440 (280 €) Por menos de 500 € también tenemos el 540 y el 640
- Marantz SR-4300 (400 €) De calidad más que contrastada en este foro

Conjuntos de cajas 5.1:

- Polk Audio. R15 system. (680 €). Se esta hablando de este pack en otro post.
- Infinity Alpha 5 HCS mkII. (650 €) Un clásico.
- Mission Cinema M72 (500 €) Un olvidado (injustamente)
- Jamo E500 (600 €) Una opción interesante.
- Mordaunt Short. Pack Premier (600 €). Otro que va camino de ser un clásico.

Y las mezclas que yo haría serían las siguientes:
- Onkyo con los JBL SCS-178 o los Jamo
- Denon con PolkAudio o con Infinity
- Yamaha con Mission o cualquiera
- Marantz con Mordaunt Short o Mission
- Harman con Infinity o con PolkAudio

Personalmente me parece muy buena relación calidad precio la combinación de Denon AVR-1604 con PolkAudio o con Infinity por cerca de 1100 euros. Si no quieres pasarte de los 900 euros supongo que puedes encontrar el Marantz con las MordauntShort en alguna oferta conjunta por ese precio (ya que son de la misma "marca")

Saluditos.