What assumptions about network synchrony are necessary for Babylon’s finality guarantees to remain valid?