[SILVerifier] NFC: Actually verify all BB predecessors/successors
[SILVerifier] NFC: Actually verify all BB predecessors/successors

This verifier has been broken since its inception four years ago.

CodaFi/swift,jckarter/swift,gregomni/swift,natecook1000/swift,danielmartin/swift,glessard/swift,lorentey/swift,jckarter/swift,apple/swift,lorentey/swift,danielmartin/swift,hooman/swift,shahmishal/swift,JGiola/swift,ahoppen/swift,xedin/swift,alblue/swift,karwa/swift,practicalswift/swift,harlanhaskins/swift,xedin/swift,nathawes/swift,sschiau/swift,stephentyrone/swift,xedin/swift,practicalswift/swift,gribozavr/swift,brentdax/swift,allevato/swift,CodaFi/swift,gregomni/swift,practicalswift/swift,gribozavr/swift,hooman/swift,CodaFi/swift,rudkx/swift,tkremenek/swift,JGiola/swift,nathawes/swift,roambotics/swift,karwa/swift,allevato/swift,xwu/swift,apple/swift,amraboelela/swift,natecook1000/swift,austinzheng/swift,rudkx/swift,hooman/swift,glessard/swift,brentdax/swift,JGiola/swift,austinzheng/swift,sschiau/swift,atrick/swift,nathawes/swift,xwu/swift,practicalswift/swift,karwa/swift,sschiau/swift,gribozavr/swift,karwa/swift,gregomni/swift,hooman/swift,shahmishal/swift,rudkx/swift,jopamer/swift,jopamer/swift,practicalswift/swift,xedin/swift,harlanhaskins/swift,danielmartin/swift,huonw/swift,nathawes/swift,aschwaighofer/swift,roambotics/swift,danielmartin/swift,jckarter/swift,alblue/swift,benlangmuir/swift,jmgc/swift,atrick/swift,CodaFi/swift,gribozavr/swift,xwu/swift,CodaFi/swift,parkera/swift,jmgc/swift,allevato/swift,ahoppen/swift,JGiola/swift,shajrawi/swift,jmgc/swift,atrick/swift,austinzheng/swift,natecook1000/swift,parkera/swift,lorentey/swift,huonw/swift,glessard/swift,lorentey/swift,xwu/swift,shahmishal/swift,airspeedswift/swift,jckarter/swift,jopamer/swift,brentdax/swift,danielmartin/swift,gribozavr/swift,xwu/swift,hooman/swift,shahmishal/swift,ahoppen/swift,jopamer/swift,aschwaighofer/swift,jmgc/swift,danielmartin/swift,tkremenek/swift,hooman/swift,karwa/swift,tkremenek/swift,roambotics/swift,glessard/swift,nathawes/swift,sschiau/swift,benlangmuir/swift,shahmishal/swift,airspeedswift/swift,practicalswift/swift,brentdax/swift,sschiau/swift,allevato/swift,shahmishal/swift,austinzheng/swift,stephentyrone/swift,atrick/swift,harlanhaskins/swift,ahoppen/swift,apple/swift,roambotics/swift,parkera/swift,natecook1000/swift,brentdax/swift,jopamer/swift,shajrawi/swift,huonw/swift,xedin/swift,devincoughlin/swift,xwu/swift,amraboelela/swift,JGiola/swift,hooman/swift,danielmartin/swift,huonw/swift,practicalswift/swift,xedin/swift,benlangmuir/swift,shajrawi/swift,tkremenek/swift,gregomni/swift,jckarter/swift,jopamer/swift,sschiau/swift,austinzheng/swift,airspeedswift/swift,harlanhaskins/swift,roambotics/swift,karwa/swift,natecook1000/swift,xedin/swift,gribozavr/swift,parkera/swift,amraboelela/swift,shajrawi/swift,apple/swift,parkera/swift,aschwaighofer/swift,rudkx/swift,karwa/swift,brentdax/swift,shahmishal/swift,stephentyrone/swift,airspeedswift/swift,huonw/swift,roambotics/swift,CodaFi/swift,JGiola/swift,huonw/swift,harlanhaskins/swift,atrick/swift,airspeedswift/swift,benlangmuir/swift,devincoughlin/swift,alblue/swift,parkera/swift,jmgc/swift,stephentyrone/swift,gregomni/swift,alblue/swift,ahoppen/swift,lorentey/swift,nathawes/swift,atrick/swift,shajrawi/swift,brentdax/swift,rudkx/swift,glessard/swift,austinzheng/swift,aschwaighofer/swift,CodaFi/swift,aschwaighofer/swift,gregomni/swift,devincoughlin/swift,natecook1000/swift,stephentyrone/swift,devincoughlin/swift,glessard/swift,nathawes/swift,gribozavr/swift,allevato/swift,amraboelela/swift,devincoughlin/swift,xwu/swift,alblue/swift,jmgc/swift,xedin/swift,shahmishal/swift,shajrawi/swift,austinzheng/swift,harlanhaskins/swift,huonw/swift,parkera/swift,karwa/swift,allevato/swift,devincoughlin/swift,parkera/swift,airspeedswift/swift,alblue/swift,benlangmuir/swift,aschwaighofer/swift,devincoughlin/swift,amraboelela/swift,gribozavr/swift,allevato/swift,benlangmuir/swift,amraboelela/swift,devincoughlin/swift,rudkx/swift,jckarter/swift,tkremenek/swift,ahoppen/swift,tkremenek/swift,sschiau/swift,practicalswift/swift,aschwaighofer/swift,apple/swift,jmgc/swift,sschiau/swift,shajrawi/swift,lorentey/swift,stephentyrone/swift,natecook1000/swift,airspeedswift/swift,apple/swift,lorentey/swift,jckarter/swift,lorentey/swift,shajrawi/swift,harlanhaskins/swift,tkremenek/swift,stephentyrone/swift,jopamer/swift,amraboelela/swift,alblue/swift