Make invariant names optional

[xldenis]

I don't like having to name my invariants, we should generate a name for you if you didn't provide one. We must provide a name at some level as its a requirement of the MLCFG syntax, perhaps we can lift that requirement in the future.