SERVER-14077 make awaitReplication() change configVersion if it sees a higher one