Gifs. Quick doesn’t need to open up a player. The hustle uses gifs as a featured image and doesn’t seem to effect page Speed.
Exported video: requires rendering and hosting and using a formal player.
Browser: Not really meant for video right? But CSS animations can hopefully bridge the gap between the two options above.