Function run_minion_parallel_with_options 

pub fn run_minion_parallel_with_options(
    num_threads: usize,
    model: Model,
    options: RunOptions,
    callback: ParallelCallback<'_>,
) -> Result<(), MinionError>

Like run_minion_parallel but with RunOptions (random seed, var/ val orderings, propagation levels). The seed (if set) is the controller base seed; per-thread seeds are derived as base XOR thread_index.