feat(opensmt): output model for SAT case when --proof is enabled
feat(opensmt): output model for SAT case when --proof is enabled