The speaker systems you have listed are satellite speakers systems, and satellite speakers are only good for desktop PC audio systems (even in that application I would prefer something more capable). If I were you, I would go for a 5.2 system and just use in-ceiling speakers for the surround channels. You will not get benefits from the rear surrounds in a 7.x in-ceiling surround system, so just keep it 5.x. If I were you, I would skip tower speakers and just get some capable bookshelf speakers. The chief advantage of tower speakers over similar bookshelf speakers is bass extension, but you won't be really using that extension in a system with properly setup subwoofers, so it is a waste.
I would be looking at some
Ascend CBM-170s or
Hsu HB-1 mk2s. The
HTD Level Threes look like they might work well too. If you can fit one of these as center channels speakers instead of their corresponding center speakers, I would do so. Typical horizontal center speakers are a compromised design, you get better performance from a regular bookshelf speaker. For subwoofers, I would be looking at anything from
Reaction, Hsu
VTF3 or
VTF15h, or the
Rythmik FVX15. For the receiver, I would be looking at something around the $800 point from Denon, Pioneer, Yamaha, or Marantz, whichever have the features most appealing to you. If you want a killer system, here is one suggestion: a
Hsu hybrid 3.1 package, and add another
VTF 3 sub and a pair of the
Hsu HIWs for the ceiling speakers, and use a
Denon AVR-X4100 for the receiver. That will make for a kill system for a tad over $3k.