Header-only integrity check + more.

1. Header-only integrity check.
2. Better coverage reporting.
3. Preparing scripts to be moved out to the ```Docs``` repository.
4. Major cleanup.