Reduce the memory footprint a bit
New material to help at constraint splitting.

A splittable index that work without memory duplication.
Iterator for IndexEntry + unit tests
Convert VM-oriented splitters to the new API
New fresh splitter for Gather
Fix tests
missing documentation
Basic support for Ban && Fence splitters
Up-to-date splitter for SequentialVMTransitions