o integrated "pipeline" into "continuous"
o added z3 and verification dumps to the pipeline in a non blocking way
o added zLib compression to the serialization of the state (amazing results)
o added CPU affinity for worker threads of the prover