Use labelled assertions to get a REALLY useful unsat-core.
Add basic smtlib-based netlist equivalency check.
Implement correct pin order according to field "Spice_Node_Sequence"
You can also use your local clone with git send-email.