Checks Some tools for verifying memory consistency models based off of Pipe Check, and other various model checkers. Currently a WIP.