Reset DynFlags properly in `withCmdFlags` teardown
Fix error presentation
Rename `ghcOpts` -> `ghcUserOptions`
Add missing signature
In `check`, apply ghcUserOptions after setting -Wall
Merge pull request #317 from DanielG/dev

Workaround for #273 + more release-prep