Remove deprecated `Object::healthy()`, no longer used (renamed to `ok()`).
Remove deprecated `Object::healthy()`, no longer used (renamed to `ok()`).

PiperOrigin-RevId: 437211038

google/riegeli,google/riegeli,google/riegeli,google/riegeli