Cabal tweaks: No check phase, bump verbosity.