any video editor will get the job done.
. normally, whichever one you choose first AND play-with-the-most
ends-up-being the one you like the most.
. . you should not need a Graphics program that is very expensive
to "go-along-with-your-video-editor" because today, "most Video Editors ARE Graphic Editors"
unless you do not know what "channels" and "layers" are used for!
. . . besides, they're all pretty-much the same anways
. What you might need is a Video Conversion Program -- to make the files accessible to your editor.