Add capability to use Z3 in an external process

[jyluo]

goal is to see if there's any drastic performance improvements & differences due to the different default settings used to invoke Z3