Update README.md for correctness tests