[lib] Tests: test_dimacs_frontier_ban; reactivation of a test deactivated for lack of file available

max_step can't be >= to __precomputed_variant_constraints

1 graph per solution => multiple graphs per solution files

Remove calls to python functions and replace them with much more efficient pure C functions