Sobre el AV yo tendría las mas altas exigencias, por que va a ser el centro de la instalación. Tiene que cubrir las necesidades de hoy, y de mañana.
Tiene que soportar la señal 4K, hdcp 2.2, tener todos los hdmi 2.0 que vayas a necesitar, escalador de video, y los extras que puedas necesitar (bluetooth, airplay, spotify, app, calibrador, ...) y por supuesto la potencia que desees para tus 9 altavoces.

Yo elegiría el Onkyo, aunque no se si me iría al siguiente en la gama. Te lo dice uno que se quedó corto con su receptor y se compró uno mayor a los pocos años...

PD: no has puesto nada sobre si ya tienes las tomas de enchufes y ethernet.
PD2: si vas a poner el Onkyo, y lo vas a poner en modo 5.2.2 (Atmos), los altavoces laterales deberían de ir SOBRE los expectadores, y no en los laterales.