Any CPU cooler that will fit will probably have to work hard to keep a quad running full tilt core cool. The
Noctua L9i might be a good fit. It's only 37 mm high. It's rated for 65 watts TDP, so it'll work with the non-K chips. If you use that cooler I'd reverse the case fan to pull hot air out, as the CPU cooler will be pulling air in through the top.
Are you concerned about noise? The 40 mm fan in that power supply is going to be working hard, too.