No creo que los nuevos formatos de audio HD vayan a incluirse en archivos comprimidos de video HD pues ocupan mucho espacio.
En el caso de que llegaran a existir debería tu Popcorn tener decos para ellos pues no viaja por la salida spdif. Estos decos los ha incorporado ahora de manera completa la PS3 y no deben ser económico sus royalties.
Si lo anterior se diera ( que existieran formatos de video comprimido con sonido HD y que tuvieses decos para ese sonido), la única manera de que saliese sería en formato PCM multicanal por el HDMI 1.1, que podría ser captado y amplificado por uno de esos AVR.
La potencia de esos AVR, dado que los frontales tiene alta sensibilidad, no debe ser un problema salvo distancias de escucha muy grandes o gustos por volúmenes muy altos. Con todo, si los eliges con presalidas siempre podrás aumentarla con etapas, cuando lo precisaras.
Saludos