Yes giflossy does a very good job at compressing GIFs. Giflossy compression wlil be implemented in gifsicle in the end.