Clarified failure messages and integrated the code.
Implemented and registered new assertion: ShouldNotImplement (fixes #165)