Exacto como dices, lo unico que va a suceder es que tu archivo de trabajo va a incrementar su peso, pero el swf exportado (o publicado) va a tener la compresión que le digas en los settings de la publicación (en la pestañita de configuraciones de swf o archivo flash, hasta abajo)