Four notes to add to what that article says...
1. For doing what you want to do with Premiere, don't send it through Adobe Media Encoder, use the MOV file that you get after doing the export.
2. The size of the stage and the size of the video don't have to be the same (though the ratio should be). When you do the export you have an option to set what size the video will be. You could therefore have an animation that is say 950x540, small enough to easily review on a modest monitor, and you could export that to HD or even 4K video sizes.
3. You may as well make your library assets be lossless, no reason to force them via JPEG. Also, in publishing settings change the audio to be Raw, 44.1 KHz, 16 bit stereo. Assuming you're including the audio. If you're doing the start sequence audio in Premiere, then the FLA settings won't matter.
4. Put this into a layer in frame 1 of your timeline, it will dramatically improve the video quality:
stage.quality = "best";