Add IOSim POR support for QSM

[dnadales]

Parallel QSM tests can be more effective in detecting potential race conditions if QSM supports IOSIm POR. We should add support for it to the library to increase the robustness of our code.

[amesgen]

Relevant prior/WIP work:

• WIP: QSM input-output-hk/io-sim#179
• Use io-classes instead of unliftio stevana/quickcheck-state-machine#50 (largely superseded by the former)