Remove unnecessary OPTIONS_GHC
Make sure that cursor is always unhidden again
Make sure that error thunks in failure messages do not escape