Mira, lo que Yo hago normalmente cuando exporto animcaiones a formatos de video estándar como VCD o DVD es que, exporto las animaciones en formato QuickTime codec Animation con la mejor calidad que tira unos archiovs gigantezcos, luego desde el Premiere por ejemplo, exporto a mpeg-2 para DVD con un alto bitrate y listo, si usas cualquier codec de avi sea DivX, Xvid, DVAVI Cinepack, los resultados van a ser algo pobres, porque dichos codecs estan pensados en video, no en animación... En animación hay que definir los bordes muy finamente, así que hay codecs específicos para ello, el único codec Avi que te puede servir es el del camtasia, si no, lo ideal es usar QT y exportar con alto bitrate y de preferencia a dos pasadas para que no pierda calidad
