Remove CorrectnessProof

[fjarri]

Stacked on top of #71

Closes #2

• Remove CorrectnessProof.
• Since FinalizeError only contains LocalError now, it is removed as well and replaced with just LocalError.

I think it is safe to assume that any attributable error in the protocol would occur at receive_message() stage. At least for now, I would like to see an example of a protocol where it is not the case.

[coveralls]

Pull Request Test Coverage Report for Build 11903791955

Details

• 48 of 49 (97.96%) changed or added relevant lines in 5 files are covered.
• 1 unchanged line in 1 file lost coverage.
• Overall coverage increased (+1.0%) to 69.607%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
manul/src/session/session.rs	29	30	96.67%

Files with Coverage Reduction	New Missed Lines	%
manul/src/session/transcript.rs	1	57.23%

Totals
Change from base Build 11903754480:	1.0%
Covered Lines:	1807
Relevant Lines:	2596

---

💛 - Coveralls

[dvdplm]

Good stuff.