Improve performance

[trou]

• .ini generation is very slow
• Identify bottlenecks and fix them :)
• Python's ConfigParser is slow as hell

#45 should help.

[trou]

One of the bottlenecks if the filter_vertices function, which iterates over ALL states to find a fixpoint.

As we compare states like this:

      let same prev v' =
        Data.Address.equal prev.Cfa.State.ip v'.Cfa.State.ip &&
          prev.Cfa.State.ctx.Cfa.State.addr_sz = v'.Cfa.State.ctx.Cfa.State.addr_sz &&
            prev.Cfa.State.ctx.Cfa.State.op_sz = v'.Cfa.State.ctx.Cfa.State.op_sz &&
              (* fixpoint reached *)
              D.is_subset v'.Cfa.State.v prev.Cfa.State.v

we could simplify this search by having a hashmap of ip -> Cfa.

[trou]

One option is also to [@@inline] critical functions