Function assertSchemaInvariants

Runtime invariant check used by tests and seeding.

Throws if the Y.Doc does not have the expected shape. We check structural presence and type shape, not content, so an empty fresh doc passes.