HealthCheckResponse should enforce that the name cannot be null

[xstefank]

There is a possible issue when the HealthCheckResponse is created with null name because we use it as key in the produced JSON. This is documented in the specification but we should enforce this in the API.