Update README.md to include assert macros such as check()...