Fix some more tests
Fix some more tests

- Opt_KeepRawTokenStream apparently interferes with GHC's pragma-
  parsing logic if enabled when depanal is called (???)
- Need to pull spec files from imports all reachable modules, not
  just the current module

ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell,ucsd-progsys/liquidhaskell