Please note that HDMI switching does NOT mean that the receiver can handle the newer formats.

I can't speak to either of the receivers you're interested in. But if you're going to buy a new receiver, I think it's a good investment to get both TrueHD by Dolby and DTS-MA decoding done by the receiver.