[17.3] Required members

[BillWagner]

Adds a way of specifying that a property or field is required to be set during object initialization, forcing the instance creator to provide an initial value for the member in an object initializer at the creation site.

• Tracking issue is [Proposal] Required Properties csharplang#3630.
• Feature specification