Как такое может быть, что вес гифки больше в 6 раз, чем сам видеофайл из которого и была сделана эта гифка!?

Вот сжимать было совершенно лишнее.
Во-первых, почти каждый кадр стал с "тенью "(полоски вокруг движущихся объектов), что на ГИФ-ке смотрится довольно хреново.
Во-вторых, гораздо практичнее сокращать время отображения кадра в самой ГИФ-ке.
В-третьих, наиболее качественный GIF получается в ФОтоШопе при "Импортировании кадров видео в слои...", а потом создания там из слоев GIF-ки.

Ну а почему стал больше размер понятно эмпирически - в GIF кадры сохраняются реальные, без сжатия, без кодеков.

Запросто такое может быть.
Гифка - это набор картинок, каждая из которых сжимается индивидуально.
Видео использует динамическое сжатие с опорными кадрами, т. е. эффективность сжатия при том же качестве будет выше.

Это зависит от алгоритма записи, возможно в гиф расширении он именно такой и есть, что получаются тяжёлые файлы.

"Я специально сжал видео в Sony Vegas" - это была плохая идея, размер GIF зависит только от разрешения и параметров сжатия самого GIF. Добавив в видео артефактов сжатия Вы, вероятно, только усугубили ситуацию.

Как можно рассуждать о чём то, НЕ ВИДЯ?
Видео-исходник и гифку в студию. Проверим. И может что то посоветуем.

Зачем тебе гифка когда есть более современные форматы видео?
Гифка это же последовательность BMP слайдов! Ясно что она будет больше MPEG

Большое количество форматов графических файлов позволяет варьировать свои настройки и способы приготовления в широких пределах. Не зная как делать правильно, какими инструментами пользоваться можно получать удивительные результаты хоть по 100 раз на дню.