Introduce not-throws? macro
Expand tests to cover not-throws? and add crosschecks for exception asserts
Update backlog