Fixed a bug where errors with no stack trace wouldn't be processed.
Updated various unit tests to use theories.