Removed leakcheck.md; regenerate alltests.md with Makefile target.