* Adds a session getter to historical proofs * Bump spec_version * Adds some useful trait derives to Proof
