This patch switches our MonadException implementation to an approach
based on the monad-control package.

The main immediate benefit is that we no longer get warnings from the deprecated
block/unblock functions, since we now call Control.Exception.{bracket,finally,etc}
directly instead of reimplementing them from more primitive operations.