added assertion module

a mini-version of the assertion module was added just for testing
purposes.