There is a major rework in progress for animation export in Spine 3.7.20 (see changelog). It hasn't been released yet.
In the new version, you can specify the scale, position and crop of your exported animation.
The differences you are seeing between gif and avi may boil down to framerate and the choice of codec (some codecs may cause slow playback in your media player)
