Model Checked - MPSC queue + Rework State Machines#128

Trying to fix: - deadlock livelock happening in plain task parallelism and memory pool - https://github.com/mratsim/weave/issues/122 - counting bugs: - https://github.com/mratsim/weave/issues/85 - https://github.com/mratsim/weave/issues/49 The implementation is run through CDS checker https://github.com/computersforpeace/model-checker but it internally uses dlmalloc `mspace` to replace uer's malloc and somehow it runs out of space and trigger this assert: https://github.com/computersforpeace/model-checker/blob/5c4efe5cd8bdfe1e85138396109876a121ca61d1/mymemory.cc#L166-L171 Might need to complete my own at #127 or use `Relaxy` (which cannot properly deal with compiler relaxed reordering unfortunately).