I would go AVI just because it gives you room for editing your video.  Once your animation is in SWF that's it, Done and complete. Save it as an AVI file because from there you can convert it to a wide range of formats to suit your needs.