The Yamaha RX-V1700 is last years model, the current model is the RX-V1800 and typically goes for more. The Onkyo, in that list, is your best bet among receivers. It has a ton of features and the most power. However, many people complain about it's overall size and the fact it acts like a space heater. It runs very hot, but it has 2 fans inside that will kick on if it ever becomes too hot for it to operate correctly, the heat is normal in operation and also when just sitting doing nothing (unless it's off).
Other receiver lines to consider would be Marantz and Pioneer Elite. Stay away from the VSX-1017 if you want audio decoding over HDMI, it only does pass-thru.
I know you said you where connecting the video devices straight to the TV, but I must at least inform you that will take away your ability to decode next generation lossless audio formats on Blu-ray or HD DVD movies. You can get up to 7.1 channels of uncompressed audio over HDMI, optical and coaxial connections will not do this. But if you are truly set on connecting them directly to the TV there isn't much reason to get a receiver that has the HDMI features.
If you really want to save some cash and get a nice Flagship receiver for a steal of a price look no further than the JVC RX-DP15 or the RX-DP10 (the RX-DP10 was the year before flagship and is a tad cheaper). It's a super powerful THX Ultra receiver with tons of connections and a very graceful appearance. It's very large, much like the TX-SR805 but can be had for much less, since it's from a couple of years ago, but it still has all the current decoding minus the new generation formats that you wouldn't be able to use over HDMI if you direct connect to your display.
Here is a link to an write-up I did on the lowest RX-DP model the
RX-DP9.
I link is in order...
JVC RX-DP15 sadly out of stock at the moment.
JVC RX-DP10