Hi Newfang
Have you thought about Anthem MRX series receivers? I am personally an Anthem MRX owner, I think Anthem gives a nice clean clear sound quality. However, it doesn't have many bells and whistles like other 3 brands you've mentioned, but it is very simple to use, the OSD (on screen display) menu is easy and intuitive not overly complicated. The room correction software is ARC Genesis, easy to use, measure all your speaker and subwoofers, i think it works good. The remote is very simple and cheaply made though, it is made out of plastic, however it is back-lid. I use the Logitech Harmony Elite remote so doesn't bother me that much.
Anyway, just throw this in to make your decision making even harder, there has to be some other members in this forum who have used all of these, they should be able to comment on how they sound, but nothing will compare to YOU who actually listening to it and how you think of how they sound.
Cheers