[C#] Proposal: Runtime Configurability of Checkpoint Behavior with Generalized State Machine API

[tli2]

Before, many different parameters to how checkpoints are conducted (e.g. foldover vs. snapshot, whether relaxed) is set at FASTER initialization and not safely changeable afterwards.

With the new state machine API, one can extract some of these parameters into the state machine object, and a user can mix foldover, snapshot, relaxed CPR etc. by setting these parameters when constructing a new state machine object to be executed.