Feature

At the moment, the default behavior is to save the segments in memory, disk or not saving any segments. We would like the default behavior to store in memory until a certain threshold has been reached.

Motivation

this will improve devex by switching the storage only for larger proofs.

Implementation

change the default implementation for when Executor.run() function is called.