Fixed issue with printing IG.
Added print-channel-and-msgs debug function.
Stopped build-var from re-building vars already built.
Added forward? to printout of messages.
Fixed some issues with focused inference, and introduced new print-proof-step functions to make showproofs output prettier (and more accurate). Also fixed a few bugs with thresh.