Anyof those you mentioned Brands should work out well, but it depends on what you want for features and price tag. What is the price you were thinking of spending is the first question I would ask. How many HDMI inputs do you need? Are you looking at a 7.1 or maybe a 7.2 to add another sub down the road?
As power goes, I agree with PSG's post as if you need "more" power you can always add an external amp.
B.T.W: Nice set up! The photo & the Klipsch speakers