Weak memory model litmus tester
