Run tests with effects

This now works following https://github.com/idris-lang/Idris-dev/pull/1475