Add MonadIO instance for Minisat backend

Increase major version as this commit introduces a new dependency