Of those coolers, really any of them would be fine. I would avoid the 212 EVO in this case though, its a good heatsink when your dealing with mainstream chips with typically a ~75W TDP, yours has a 130W TDP.
Go for either the Phanteks or Noctua if you want to stick with air, The H100i if you want liquid. Performance wise you wont really notice much of a difference between them.
Have a look at the Swiftech H220 as well, easily the best CLC on the market right now.