i use opentoonz for gifs. i try to avoid editing over film like this because it's tedious, but you might be able to use deform amd tweening tools to just make a single grey mask layer morph and follow kramer (re apply for any other color masking). you could definitely move the horns around very easily this way.

it's also free, and what studio ghibli uses 🌟