Blender. I know, it is a 3D-Animation-Suite. But you can also use it for videoediting.
It supports proxy-editing, color-grading, transitions and it exports in 4K. And it is free.
Off course it takes a while to learn it. But you can find a lot tutorials on youtube.
I learned a lot with this...