Added an assertion module for debugging purposes

This module can be enabled or disabled by defining a macro in the main
configuration file.