Refactored ghc-modi to be used automatically for error checking when available.