coot/bolt12/monad trace mvar

[coot]

Subsumes #212.

[Copilot]

Pull Request Overview

This PR implements tracing support for MVars in the IOSim and related STM interfaces while renaming the InspectMonad type to InspectMonadSTM.

• Added the MonadTraceMVar instance and corresponding traceMVarIO function in IOSim and IO instances.
• Updated various trace functions across multiple files to use the new InspectMonadSTM type.
• Adjusted the cabal.project file to change the GHC version requirement.

Reviewed Changes

Copilot reviewed 13 out of 13 changed files in this pull request and generated no comments.

Show a summary per file

File	Description
io-sim/src/Control/Monad/IOSim/Types.hs	Added InstanceSigs pragma, implemented MonadTraceMVar instance, and renamed InspectMonad to InspectMonadSTM.
io-sim/src/Control/Monad/IOSim/STM.hs	Updated trace functions’ type signatures to use InspectMonadSTM.
io-sim/CHANGELOG.md	Updated release notes to reflect the new tracing functionality and name change.
io-classes/strict-stm/Control/Concurrent/Class/MonadSTM/Strict/TVar.hs	Updated type signatures to use InspectMonadSTM.
io-classes/strict-stm/Control/Concurrent/Class/MonadSTM/Strict/TQueue.hs	Revised trace function signatures to use InspectMonadSTM.
io-classes/strict-stm/Control/Concurrent/Class/MonadSTM/Strict/TMVar.hs	Modified traceTMVar type signature to use InspectMonadSTM.
io-classes/strict-stm/Control/Concurrent/Class/MonadSTM/Strict/TBQueue.hs	Updated traceTBQueue signatures to use InspectMonadSTM.
io-classes/src/Control/Monad/Class/MonadSTM/Internal.hs	Renamed InspectMonad to InspectMonadSTM across several trace functions.
io-classes/src/Control/Concurrent/Class/MonadMVar.hs	Added the MonadTraceMVar class and instance for IO.
io-classes/mtl/Control/Monad/Class/MonadSTM/Trans.hs	Updated MonadInspectSTM instances to use the new InspectMonadSTM alias.
io-classes/CHANGELOG.md	Documented the breaking change and addition of the MonadTraceMVar.
cabal.project	Updated the GHC version constraint from 9.12 to 9.10.2.