The one thing I believe, and just to be aware of, is that the safe encoding does not make your default statement get synthesized. Instead, it makes the state-machine go back to its initial state. Pretty much all the time those are in agreement, but if your default was something like a special error state, making the state-machine "safe" will not make it go to that mode. (I'm 90% sure of this but not completely).
Also, be sure you know why you want a safe state-machine. I've seen many people get worked up about this when they don't really need it, or when it doesn't provide the protection they think it does.