llmsset: search for a free slot for new BDD nodes now starts at random location
Minor optimization in llmsset
Bugfix: properly round up when marking external references
Add extra assertion to sylvan_test_isset to check if an item is properly marked
Replace LLCI cache by new cache data structure.
Replace internal reference management by new data structure