Backwards Compatibility breaks
- Some command line options were renamed for consistency sake:
- - model-check/sparse-checkpoint -> model-check/sparse_checkpoint
- smpi/async_small_thres -> smpi/async_small_thresh
- smpi/send_is_detached_thres -> smpi/send_is_detached_thresh