The receivers in your list look OK, esp. the ones that support HDMI. [Seeing that you want HDMI support] Of course these units take up significant chunks of your budget ...
As for the rest of your budget [speakers] I'm torn on what to recommend.
Part of me wants to respect your budget and desire for a full 7.1 system so the best I can do here is to recommend that you listen to the system in-store [and in-home if possible] with a wide variety of YOUR music & DVDs so you know what you're getting.
The other part of me [that doesn't want to sacrifice any speaker quality] wants to recommend that you get the best 2.0 system that you can afford TODAY and then add sub, center, surrounds, back speakers once you save up some more cash. BTW I wouldn't run "cheap" speakers full range as they're not designed for it. Just set things up like you had a sub so you won't be pushing the speakers too much.
Some reading that's good for new people [like me]:
Budgeting your home theatre
Bookshelf speaker shootout
EDIT: As always I'd recommend that you do your homework and get the system that's going to make you the happiest in both the short and long term. I wouldn't necessarily weigh anything that I, someone else, or even a professional reviewer says too highly if it's something that you just don't want to do ....