Function run_tactics_with_options 

pub fn run_tactics_with_options(
    state: ProofState,
    tactics: &[Node],
    options: TacticOptions,
) -> TacticRunResult

Apply link tactics with configured rewrite rules, stopping at the first failing tactic.