The Denon AVR-788 will process the HDMI audio or pass it on to the TV, as well.
So, both receivers will do it. You do have to go through a menu at either receiver, though, to switch between listening to HDMI audio on the receiver and listening to it on the TV.