`progresses towards established target (from below)` test failure for big ledger peers

```
progresses towards established target (from below): FAIL (509.01s)
*** Failed! Falsified (after 85 tests and 390 shrinks):
GovernorMockEnvironment {peerGraph = PeerGraph [(PeerAddr 18,[],GovernorScripts {peerShareScript = Script (Nothing :| []), peerSharingScript = Script (PeerSharingDisabled :| []), connectionScript = Script ((Noop,NoDelay) :| [])}),(PeerAddr 21,[],GovernorScripts {peerShareScript = Script (Nothing :| []), peerSharingScript = Script (PeerSharingDisabled :| []), connectionScript = Script ((ToCooling,NoDelay) :| [(Noop,NoDelay)])})], localRootPeers = fromGroups [(HotValency {getHotValency = 1},WarmValency {getWarmValency = 1},fromList [(PeerAddr 21,DoAdvertisePeer)])], publicRootPeers = fromList [(PeerAddr 18,(DoAdvertisePeer,IsNotLedgerPeer))], bigLedgerPeers = fromList [PeerAddr 18], targets = Script ((PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay) :| [(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 1, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},ShortDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 1, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 0, targetNumberOfEstablishedBigLedgerPeers = 0, targetNumberOfActiveBigLedgerPeers = 0},NoDelay),(PeerSelectionTargets {targetNumberOfRootPeers = 0, targetNumberOfKnownPeers = 0, targetNumberOfEstablishedPeers = 0, targetNumberOfActivePeers = 0, targetNumberOfKnownBigLedgerPeers = 1, targetNumberOfEstablishedBigLedgerPeers = 1, targetNumberOfActiveBigLedgerPeers = 0},NoDelay)]), pickKnownPeersForPeerShare = Script (PickFirst :| []), pickColdPeersToPromote = Script (PickFirst :| []), pickWarmPeersToPromote = Script (PickFirst :| []), pickHotPeersToDemote = Script (PickFirst :| []), pickWarmPeersToDemote = Script (PickFirst :| []), pickColdPeersToForget = Script (PickFirst :| []), peerSharing = PeerSharingEnabled}

Signal key: (target, known big ledger peers, established big ledger peers, recent failures, opportunities, ignored too long)
Last 20 signal values:
Time 35990s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35990s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35991s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35991s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35992s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35992s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35993s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35993s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35994s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35994s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35995s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35995s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35996s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35996s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35997s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35997s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35998s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35998s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])
Time 35999s : (1,fromList [PeerAddr 18],fromList [PeerAddr 18],fromList [],fromList [],fromList [])
Time 35999s : (1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [])

Property violated at: Time 36009s
Invalid signal value:
(1,fromList [PeerAddr 18],fromList [],fromList [],fromList [PeerAddr 18],fromList [PeerAddr 18])

Use --quickcheck-replay=316097 to reproduce.
Use -p '/big ledger peers.progresses towards established target (from below)/' to rerun this test only.
```