Bump smallcheck version dependency