Improved test coverage & some bits of Javadoc
Restored InvalidCheckException from earlier

* Will be used to signal ambiguous uses of not()
Resolved check inversion-then-conversion problem

* By throwing an exception ^_^
* Pushed coverage to 100% where possible
Improved config file documentation, resolving the last TODO so far!