fix semantics of smaller()
decrease initial cache size for ZDD nodes
add setset_nonzero in pysetset.cc
add __repr__ in illion.setset