Tough choices. Lets get Verlander out of the way as a top 5 pitcher, and your only pitcher.
2. Andrew McCutchen
3. Matt Kemp
4. Adrian Gonzalez
This gives you two big outfileders and a solid first baseman.
For number 5, I'm gonna side with Allen Craig (especially if he still qualifies for 2nd in your league, but he might not next season). Holliday is great an is a lock for 25+ HR's and 100 RBI's, but people have been comparing Craig to Holliday for a few years now and this year everyone has gotten a chance to see why. He's 4 years younger than Holliday and with Berkman a free agent next year, first base is all his.
I have Miguel Montero and while he has put up very good numbers the past two years, you can't justify keeping him over any of the other players listed. Also considering you only keep 5 players, odds are you can get him back or someone just as good like maybe a Wilin Rosario or Yadier Molina.