I think that you would be well advised to spend a little more time researching all of the alternatives.
I have posted many times that I fail to understand why anyone (projectors excepted) would want to do HDMI switching in audio gear. Just doesn't make good sense. If you go to some of the other boards you will see a whole host of comments about the problems that folks have had with their HDMI connections through receivers.
Just curious, how did you arrive at those 4 receivers??
M80s, VP-150, QS8s,
SVS PC 20-39+, OPPO,
Onkyo 703s, Harmony 880
Sony 60" SXRD HDTV