Hola Shallow:
Bienvenido al Foro.
Lo que ves en:
http://megaswf.com/serve/1107322 no es un gif animado, si no una película .swf.
Para convertirlo en gif animado no puedes usar AS para mostrar la lluvia, el resultado al exportarlo como película (gif animado), sólo se verá la figura estática, al tamaño que lo hiciste, solamente se pixelará si le haces zoom.
Espero haberte sido de ayuda.