No necesitas para nada que el AVR haga el upscaling, para eso tienes la TV o el PC que probablemente lo harán mejor. En el AVR con que te haga el passtrough del video en 4K te vale. Así que sí, si tu rango de precio es ese el Denon X1400/1500 te irá de perlas

Un saludo