The condition of whether the on-disk set of MigrationCoordinator documents is consulted, with the state of the CSR from before a release of the CSR lock.

This means that it is possible that an onShardVersionMismatch, which started concurrently with chunk migration, but got to this condition just when the MigrationSourceManager failed and cleared the filtering metadata due to error, to not actually run recovery when it should.

This is currently protected by the fact that we only clear the filtering metadata under the critical section so there isn't a bug in practice, but just for the sake of better code readability we should re-take the condition after retaking the CSR lock.