optimized computation finalize

[adisos]

Decide on priorities for the related issues, so that the optimized computation becomes the used one without a flag (for the next release version).

current related issues:

• - Improve fw-rules connectivity output for optimized connectivity map #586

• - Create abstract class NetworkPolicyRule to be the base of all policy rule classes #543 (post release)

• - Consider keeping optimized connections copies per policy, in addition to copies per rules #542 (post release)

• - Update EquivalenceQuery expected results according to more refined output in optimized solution #523

• - Lazy evaluation of policies' allowed connections #496 (post release)

• - Remove ConnectionSet and replace by using ConnectivityProperties #495

• - remove the flag (add issue) + remove all old data structures (including disjoint ip-blocks)

• - can the grouping from optimized hc-set can be used to generated grouped output, instead of splitting and then joining using fw-rules mechanism? (more efficient approach?) [issue Improve fw-rules connectivity output for optimized connectivity map #586]

• - update all tests expected output (can semantic comparison verify correctness?)

• - repeat benchmarks + profiler , performance analysis