diy testing tool for weak memory models, herd design