Why is this GIF file so huge?

Blame the format. GIF is decades old and saves every single frame as a complete picture, so longer or higher-resolution clips balloon fast. That is the whole reason an MP4 version sits right next to it: identical clip, a fraction of the bytes.