С GIF есть странный момент. Кажется, что это "маленькая гифка", значит файл должен быть легче видео. Но после конвертации из MP4 или MOV результат иногда получается тяжелее исходника. Это нормально. GIF не является современным видеоформатом. Он удобен для коротких зацикленных анимаций без звука, но плохо подходит для длинных роликов, большого разрешения и сложных сцен. MP4 и WebM используют видеосжатие. Такие форматы хорошо понимают движение, сохраняют изменения между кадрами и умеют держать приемлемый размер даже у длинного ролика...