Added DeepSeq library and modified TestException -- it now works correctly.