simple-check has moved to test.check