SMT-Switch interface update

[Bo-Yuan-Huang]

Describe your feature request. Update smt-switch reference is update-to-date w.r.t. their recent release. pre-print

Describe the solution you'd like

• Properly capture the exception types.
• Preferably support smt-switch in unroller.

Additional context Prioritize the support for boolector.