Enhance testing by creating an FSM test similar to random_ddl_setFCV_operations.js or random_ddl_crud_setFCV_operations.js, but with stronger state assumptions.

In this test, each thread executing CRUD operations should write to a unique collection, issue a query, and validate that the expected results are returned.

The primary challenge is handling dropDatabase, as it affects multiple collections simultaneously.