Enable multi proc

[HNYuuu]

Is your feature request related to a problem? Please describe. z3 has enabled (de)serialization. Thus, we can utilize this feature to enable multi proc in graph.py.

Describe the solution you'd like

1. Give the option, --worker N;
2. Guarantee the workers can be maintained by different processes.

Additional context z3 serialization example: link