Re-enable tests well-typed/generics-sop#2
Upper bound for #354
Upper bound for #355
Remove upper bounds and close #350
Remove MonadRandom upper bound
Better flags serialization
Don't serialize global flags (package flags has all necessary information)
Merge remote-tracking branch 'origin/master' into stackage2
Nicer intersect
More comprehensive test/benchmark skipping
More informative error messages