Stav dette: Weak Memory Demands Model-based Compiler Testing