SMT linking infrastructure for options
Proof-checking code; numerous fixups of segfaults and missing functionality in proof generation; fix bug 285.

[skip ci]