Update CHANGES
Add MonadIO instance for FormatM
Make sure that QuickCheck is never chatty