WyIL: Bug fixes for error reporting.
WyIL: Bug fixes for error reporting.

Specifically, ErrorMessages wasn't properly passing through information
about the exception which caused this exception.

Whiley/WhileyCompiler