Fray: A Controlled Concurrency Testing Framework for the JVM