What 4k video editing programs are available?
I can't answer your first question properly, because there are many 4K tools and you have to check yourself, which you like most. I personally like Final Cut Pro X much. But that depends on your needs.

Now to your second question:
Well, as far is I know, there isn't a 4K video editor for consumers, because normally, this user-group doesn't need 4K. So yes, you need to switch to pro-tools like Final Cut Pro X etc.