Probabilistic Testing For Weak Memory Concurrency