Quality-wise EITHER AVCHD or MP4 will be more than enough. Just depends if you want more or less data to deal with. I see NO reason to go with 59.94. The MP4 is less compressed and higher frame rates obviously mean more data AND shorter "exposure", which makes for more of a "crispy video" look. I see a little to no reason to go beyond 30fps, unless maybe you intend on doing endless slomos, but even then…
In the end, it entirely depends on where you are and even more so what you intend to do with the final product?!