Check out the denon pro avr stuff. Switching and processing plus XLR out.
https://denonpro.com/products/view3/dn-700avp
Sent from my iPhone using Tapatalk
FYI the Marantz stuff which is sister company to Denon these days and probably shares the same back end is REALLY slow to switch HDMI sources. If you're looking for a faster or seamless switch source then this probably isn't your ticket. It does look like an interesting piece of kit though.
I remember looking for a similar piece of gear before and striking out. Finding an 8 channel HDMI decoder is tricky too, most stuff is just stereo out. I ended up going a different way so I never found anything. Please post up what you end up using for a solution.
I use a QSC Q-Sys core 110f as my preferred DSP (I even personally own one) and it irks me that it has a HDMI port on it yet I can't just connect a HDMI cable and input 8 channels of audio that way. I could completely ditch my AVR and clean up some client spaces if it did.