Id suggest some samsung green and oc em. Height wont be an issue as they are tiny. They are already proven overclockers on Z77, with the supposed better imc on haswell they could clock even better. Bit cheaper too.
I went for the Kingston HyperX Beast 32GB (4x8GB) PC3-19200C11 2400MHz Quad Channel Kit.
https://www.overclockers.co.uk/showproduct.php?prodid=MY-131-KS
4 x 8gb.
Mainly because I will also be building a Richland 6800k machine when it finally starts to sell.
Probably a little overkill for the i7 4770 3.5gz though.
I'm guessing I will get 2133mhz with the Haswell.