* We add a capture option that defines a soft limit we aim to keep under for memory overhead during capture, excess initial states after that will be stored temporarily on disk.