Rename "optional" attribute to "required" and change the default value.

Fixes #6069