travis: Add the latest HP and a few test cases for older monad-control