Add checking for additionalProperties in object definitions

[ghost]

I would like to propose a new validation.

When a schema type is object, ensure that additionalProperties is present.

Rationale:
It is typically an error when an object includes a property that is not listed in its spec.
It would therefore be nice to have a validation that ensures that we forbid additional properties.