Add assertion and refutation for raised errors.
Update header documentation.
Update README.md.