* re-working provability tests for elk-proofs with explicit eagerly
constructed inference graphs
* bug fixes
* elk-explanations plugin, initial import, very dirty