Update docs: non-optional properties can have defaults

[steverice]

Since https://github.com/microsoft/typespec/pull/1815, any property can have a default value. This commit updates the documentation to reflect that.