Some of the instructions in the `README.md` on running tests are outdated. The correct instructions can be recovered from `Makefile`.