Modify README.md with instructions to verify correctness.