Update README
Fix typo
Add program for testing heap checks