[PATCH RFC tools/memory-model 1/5] EXP tools/memory-model: Add scripts to test memory model

This commit adds a pair of scripts that run the memory model on litmus tests, checking that the verification result of each litmus test matches the result flagged in the litmus test itself. These scripts permit easier checking of changes to the memory model against preconceived notions.

[PATCH RFC tools/memory-model 1/5] EXP tools/memory-model: Add scripts to test memory model

This commit adds a pair of scripts that run the memory model on litmus tests, checking that the verification result of each litmus test matches the result flagged in the litmus test itself. These scripts permit easier checking of changes to the memory model against preconceived notions.