Updated README.
Created first assertion module.