Add configuration option for invariant check in freedm.cfg file.