Ignore coverage for unreachable sanity checks
Improve test coverage
Additional test cases and improved documentation
Merge branch 'minor'