Allow empty records for JSON generation

[jaredponn]

This PR removes the restriction of generating code instances for only non empty JSON objects.

Indeed, the empty JSON object

{}

is valid JSON, so schemas like

record MyEmptyRecord = { }

derive Json MyEmptyRecord

should be valid.