Small improvement to gc
Rewritten operations cache to fix bug with complement edges.
Improve performance of cache
Fix issues compiling on Mac
test/mc.c: by default, do not report tables and levels.
sylvan_satcount_cache is 64-bits again
fix Makefile.in after adding -fno-strict-aliasing
llmsset: only search from a random location after 128 fails