Improve diagnostics for assertions
Fix warnings, correct behaviour of Assert
Add documentation
Release 1.0.0