Mention programmatic sanity checks

A one liner to address #88.