768 x 576 es la resolucion para video PAL (25 fps) asi como 640 x 480 es la resolucion para video NTSC (30fps) la de 720 creo es la de DV, pero esto no afecta en la calidad el hecho de que lo saques en 768 x576 o 720 o 640 480, lo que si afecta la calidad es esa compresion que vos llamas como "avi generico" un proyecto en flash si lo sacas en avi sin comprimir es lo mismo que sacarlo en bmp a nivel calidad, osea sin perdida alguna, pero si pones algun codec de compresion seguramente no quede para calidad de television...y mucho menos los codecs genericos como microsoft video for windows, o cinepack, etc..
hace alguna de las dos cosas, o exportas a avi y le pones sin comprimir, o rendereas a secuencia de bmp (que luego puede ser editable ne cualquier porgrama de edicion)
pd: me queda una duda..en que resolucion tenes el proyecto en flash? es todo vectorial o hay imagenes o jpg?