properly communicate the highestKnownPrimaryInSet across heartbeats