RuleOverride

When true, any increase in cycle count since the last aalekhCheck output is treated as an ERROR. Requires aalekh-results.json from a previous run to be present; silently skips the regression check if no prior result exists.