Currently we have no FSM workloads that runs sharded DDL + multi-shard multi-statement transactions. This allowed bugs like SERVER-59965 to go unnoticed.

We should create an workload that tests that. We could either:
a) Write a specific workload to do this, similarly to random_moveChunk_broadcast_update_transaction.js
b) Perhaps we can use the concurrency_sharded_multi_stmt_txn suite and change random_DDL_CRUD_operations.js to put chunks in different shards and do CRUD that targets several shards.