Add a test to ensure a bad iterator won't segfault pycosat.c's add_clauses