Before you start, you should know that a lot of Haswell chips (like the I5 4670K) can't reach 4.5GHz regardless of the cooler. Getting a high OC on a Haswell chip is also about luck, you need to get a good chip.
http://www.tomshardware.com/reviews/core-i7-4770k-haswell-review,3521-10.html
One of the problems with this generation is that there is actually an empty space of few microns between the CPU cores and the heat spreader, which does not allow for excessive voltage. Another problem is the heat density. In other words, it is not about how much heat the CPU cooler can dissipate, but how fast it can.
http://www.tomshardware.com/reviews/best-heat-sink-haswell,3554-25.html
The way Haswell was made was with mobile in mind. The Haswell architecture is supurb at low watts and low MHz, but the power consumption of Haswell rises exponentially with MHz. A Haswell at 4.0 GHz consumes more power and generates more heat than Ivy Bridge. Also the 22 nm technology, and the 3 way gate technology, does not allow for high vCore. Meaning I won't advise more than 1.25, which is not enough for all chips to go to 4.5 GHz. As I said, it is also about luck - get a good chip. Some can do 4.5 GHz at 1.21(lowest I have seen) and some CPUs can't do it even at 1.3.
If you want to pick a good air cooler for the Haswell chip - the NH-D14 and NH-U14S will be your best bet, though pricy, but that is how things are. I have my heart given to Phanteks PH-TC14, which is more effective than the Noctua NH-D14 on Sandy/Ivy bridge systems or on LGA 2011 socket (and does not look like s***). But benchmarks show that the Noctua design is better for Haswell.