For really extra-fancy effects I used to use Blender's effects & video editor about 10 years ago. Prior to that I used some bash scripts I wrote for the screen recording, along with Cinelerra for editing. These days I keep it pretty simple.
Good luck, it should be totally possible with a range of different options.
Render out to DNxHD, then re-compress to h264 etc. with FFMPEG
I'd do voice on the OBS video, (mostly for "notes") and probably do voiceover of the rough cut by recording just audio in audacity.
OBS is made for live-streaming games, but it is well-suited for all sorts of screen-capture and recording, it gives you very nice control of what you're recording (whole screen, region or window) and whether to capture the mouse cursor and such, and because of it's main use as a live-streaming platform for games, it captures _ANYTHING_ be it opengl applications, text-editors, terminals, and it does it with very high performance.