demote no startstate to a warning instead of an error

Seems like the user should be free to omit a startstate if they really want to,
even though it leaves them with a degenerate model.