We are looking at supporting FLV and F4V video formats in a future beta. Video can be streamed so that the video itself does not have to be embedded inside your Flash content. This prevents the file from getting too big.
Regarding #4, are you referring to effects and loops on video, or for general animation purposes?
Regarding #5, no support for animated GIFS yet