Echo above - using a K2000 (fully loaded) as a controller for my Mac running Mainstage.
Also running a Roland XP30 as my "top" tier keyboard.
The downside with the K2k
is that it is getting long in the tooth - mine's got some shocking build quality issues.
Display has also gone.
That said, I've used K2s to recreate a well-known pop
groups entire back catalogue of synth sounds, going back over 20 years.
Great fun to
program, and in all fairness, very easy to do so. GREAT keybed to play too.
I'm
currently using it as a backup for Mainstage (samples etc) for that time IF the Mac dies
on stage - I've replaced the floppy with an internal ZIP drive

I'm also looking at a Fantom G6 to replace the XP30.....
From your list
I'm also looking at a V-Synth XT. Very similar to the Fantom though.....
Perhaps something like the Z1...... I personally have never got on with the Nord stuff
(Ikea synths imho)
Of course, another option is a master keyboard
controlling a channel on your Fantom...... MUCH cheaper and you keep your sound source as
one.
hope this helps

Dan