Prefer ENABLE_ASSERTIONS to HAVE_ASSERTIONS_ENABLED, etc.
Report malloc used.
Improve README a bit.