Aunque sin saber el tamaño de sala y otros datos, por potencia hay 15w de diferencia en los AVRque pones y eso puede necesitarse si la sala es grande. En todo caso, el 2300 ya lo tienes claro por el tema de salidas HDMI y también te aporta el escalado 4k.
Respecto a los altavoces que pones, yo me inclino claramente por la segunda opción de los Wharfedale, pero subiría un poquito el escalón con los 225 de frontales.
Saludos