Fix cabal check warnings and bump hpc version

This MR fixes all warnings generated by cabal check, and also bumps the allowed upper bound of the hpc library from 0.7 to 0.8