As for the screen recoders, Camtasia isn’t the only program that exist. That said, it should give you good results with the appropriate settings (high frame rate, minimum 25fps, better with 30) and also a capable computer (Screen recorders require power). Scfeenflow has excellent results too. One of the best is… Quicktime, out of the box.
Just FYI, there are programs who are doing HTML animation and export to video and gif, like Tumult Hype, with excellent results. It probably doesn’t help in your case.
My go-to solution for screen recording is by using this free screen recorder, it can record any screen activity in different video formats and GIF. Guess that it would be a great help.