Add relacy race detector
Modify README.md