A new state function should be added to the multi_statement_transaction_commit_order.js FSM workload that checks there is both (1) a consistent order of elements in the "order" array and (2) exactly nDocs containing that element. The read concern level to use when starting the transaction can be varied because the changes from SERVER-34073 should cause them to all be upconverted and satisfied by "snapshot" anyway.