Refactor Kappa-specific functionality into separate classes and add subs for pre/post conditions.
Adds checkpoining functionality to the Mixture class.
merged with sast