Из-за того, как работают GIF-файлы, чем сложнее палитра, результирующий GIF-файл довольно быстро увеличивается.
Я бы использовал GIMP для оптимизации получившегося GIF из # 2 - не уверен на 100%, как он работает, но думаю, что он в основном удаляет дублирующую информацию из одного кадра в другой.