Those seem to be the top three choices.  We used ProSystem years ago and moved on from it.  Used Lacerte for years but its inability to handle the larger, more complex returns, lack of an integrated suite, and a few other reasons ultimately forced us to move on to a product geared more towards larger firms.