Reset DynFlags properly in `withCmdFlags` teardown
Fix error presentation
Rename `ghcOpts` -> `ghcUserOptions`
Add missing signature
In `check`, apply ghcUserOptions after setting -Wall