Well, although there exists some third party Flash library, it's still under development and AFAIK it's not very mature at the moment. I didn't study it any further so I can't really tell.
Currently the answer to your question is: no, vector graphics support is not planned, the animations must be converted to bitmaps first.