Use new Makefile, implement negative tests, add more tests, update README.