IR: Assertions on cfg and label for BB to both document that assumption and catch it if we mess up