Interesting, ended up using FFmpeg. It's heavy to run and it takes time to write all the code for overlaying elements on top of each other and drawing text etc - but the quality is great.