... Should the Safecoin devs have fixed the bug before launching the coin?...
Op err is not a bug. There was no "bug" to
fix.
That being said, SAFE coins
aren't safe from random, non-consensus mutability; good to know that there's another coin out there I'll never use.