Videos have several advantages:
- they tend to be much smaller (Gfycat shows original and converted sizes for popular animgifs, typically there is an 5x-20x size reduction)
- ability to pause (T85838) / start in a paused state (T85840)
- there are a number of low-level optimizations that probably won't happen for images (streaming, hardware acceleration)
ffmpeg can do the conversion.