Most GIF, should still animate in most video editing programs as they are not taking the raw material and altering it in anyway.
If you are having problems, a long way around it is to search google for a GIF decompiler, it will decompile all the images in the GIF and make JPEG of them.
Place them in your video with intervals of under a second. Longest solution.
When you put them in things such as Adobe Premier, it really should not change as i said.