Add test for encoding a GIF with GifEncode and re-decoding it