I did see a timeout in the test suite, in the mconcat property test provided by checkers, but lost the seed.