Speaking as a newbie, I would recommend a reciever that does have some kind of auto-setup. I don't know which of the recievers you listed doesn't have it, but it's a really nice feature. When I first got my receiver, I had no idea what to do to set everything up. The Yamaha's YPAO measured and set levels, delays and speaker sizes, not to mention checking to make sure the speakers were wired correctly. YPAO isn't always 100% accurate, and you'll need an SPL meter to calibrate it to a finer degree, but auto-setup gives you a great starting point.
I'm extremely happy with my RX-V750, which is very similar to the 757. But I have no experience with the other receivers you list, so I can't comment on those. But the 750 is a very good receiver for someone who (like me) doesn't have a whole lot to hook up to it. The video transcoding up to component is a nice bonus too.
Best of luck with your research and decision!
cheers,
supervij