Te vale cualquiera de los que has mencionado.

Eso de que el receptor debe doblar en potencia a los altavoces... me da que no. Si no para mover unos altavoces de 150w tendrías que buscar un bicharraco que entregue 300w por canal... como que no.

Los altavoces tienen un valor mínimo y máximo de potencias, así que mientras el AVR se mueva, como mínimo, dentro de ese rango te funcionarán sin problemas.