The replsettest function "waitForState" waits for a node's state as reported by the primary. If we want to know if a secondary node is actually up, awaitSecondaryNodes should be used. In BF-12800, a secondary is restarted and "waitForState" reports it as up because the primary had not yet noticed it had gone down.