Evaluate use of Roaring Bitmaps for bitsets

Test whether using Roaring Bitmaps - https://roaringbitmap.org/, https://github.com/RogueException/CRoaring.Net, https://github.com/Tornhoof/RoaringBitmap - improves performance or memory usage significantly in model checking.