Add randomly generated benchmarks for data race detection