HaRe-0.6: tools/property/transforms/Flags.ghc

ToQC.hs: -fallow-undecidable-instances -fno-monomorphism-restriction
RemoveListCompProp.hs: -fallow-undecidable-instances