Export function to show assertions.

This is necessary to name test cases for #48.
Implement monad transformers for computations with embedded assertions.
Run source files with assertions as unit tests (fix #48).
Merge pull request #54 from Toxaris/topic/assertions-as-tests

Run assertions as tests