I think we can drop the is_leader() check.  In a well-managed cluster, every mon will have the config option set, and you will ask a random mon for the health.  It is only in the mismatched-config case where the health check needs to be non-deterministic.