Fix error asserter failures reporting
Cleaning
Improve callback failure messages
Update documentation