Hi
I think they have use image sequence rather than importing a entire quicktime movie in flash. If you render image sequence from any editing or compositing software and import the sequence in Flash then this kind of quality is posible.
This is my personal opinion, it might be wrong.
Thanks
Subha