Report stack traces when config files fail

[jvilk]

When a precondition or a transition function fails with an exception, BLeak doesn't print that information clearly to the console. Instead, it dies horrifically and ambiguously.

Let's fix that.

[jvilk]

I won't consider this fixed until there's a nice unit test making sure I keep this fixed. The unit test should check failures that occur in check and next.