Multithreaded tests should run on CI with threadsan. This can help us catch race conditions. For multithreaded utilities like spin_mutex, there should be a test added where many threads poke at the spin_mutex simultaneously, for the sole purpose of running this through threadsan.
There should be a separate CMake test target compiled with the threadsan flag running just these tests (probably Doctest needs to filter the tests somehow). This target should then be added to CTest. This way, the GitHub actions build and test workflow will pick it up automatically.