Check the behavior, not the version of pycosat

On Windows, pycosat.__version__ does not work. Fixes #765.