Finished adding support for handling Python exceptions.
Cleaned up the stampseq SMT examples.