Use updated paradise, enable some of the tests