correct network claims: matches shortest-path exactly, comparable-not-better on Steiner/networks

benchmark vs classical algorithms + solve_robust; card