You should certainly get Flash Pro on your list of tools to use. It can export perfect frame rate H.264, and also image sequences or animated GIFs. I just did a test export, and the animation played back well in LiveCode, even at 60 fps.