This ticket was created mainly to test that all DDL operations that implicitly stop migrations resume them regardless of the operation's success.

The idea is to add a test-only check on the ShardingDDLCoordinator teardown to verify that:

• Migrations are allowed.
• The critical section was released.