Migrate to `rust-smt-ir`

[momvart]

With the recent changes (e.g., directed execution), it makes sense to rely on more abstract representations of queries like https://github.com/awslabs/rust-smt-ir instead of SMTLIB strings.

It has the benefits of:

• Breaking the dependency on the solver
• More efficient encoding
• Faster transfer of queries
• ...