H.264 is the best video codec out there, it makes the videos smaller and have better quality. All the big players in video (except for Microsoft) use it (Apple for both their store and editing software, Pixar, Youtube, Redtube, Flash...)

Is flash free? You can always do the editing in Windows Movie Maker and save it at high quality then convert it to a better codec to make it smaller.