Mix-testing: revealing a new class of compiler concurrency bugs