Although I like Ableton, I wouldn't use it for recording and mastering. Never used pro tools, but that's used a lot in the industry, but I've heard it's complicated and not user-friendly. I'm about to go buy Cubase 7 which looks to be the best. It has a brand new mixer in version 7 that looks awesome.
My choice is Presonus Studio One v2 ......... but i would also add to your list Reaper. Why Studio one for me....well , i have the faderport and Audiobox soundcard made by them and i also found that the interface was natural to me.