For video, I think the best you’re likely to get is embedded players from popular video hosts. The costs and challenges of hosting video content are just not worth it for the people hosting the instances.
GIF as a format is garbage. Terrible compression, poor quality, and weird quirks. They’re so bad that most platforms that host GIFs are just transparently converting them to MP4 videos because they actually take up fewer resources. If they get added the only way I see it happening is as extremely short form video with strict file size limits.
If I’m being honest though I don’t miss ithem at all.