I've always used Denons and I have found them very reliable, pretty much most the brands you mentioned build good receivers in that price range. Many on this forum including myself don't bother to worry about the HDMI or DVI switching as we don't run our video through the receiver, unless you have a particular need for it I wouldn't waste the cash on that feature.

A computer once beat me at chess, but it was no match for me at kick boxing.