Support the latest versions of smallcheck and tasty