WYCS: Added support for parsing assertion messages.  Also, removed notion of assumption and the wierd incremental way that assertions were proved previously.