Function witness_iteration_for_threshold 

fn witness_iteration_for_threshold(
    init: i128,
    step: i128,
    violation_value: i128,
) -> Option<usize>

Compute the first 1-based iteration where init + step * iteration reaches violation_value.