Pass more info for evidence verification

[fjarri]

• Pass shared_randomness to ProtocolError::verify_messages_constitute_error().
• Pass guilty_party to verify_messages_constitute_error() (this is necessary since it is used as a part of the entry data for ZK proofs).
• The above item causes a bit of a chain reaction, since now ProtocolError needs to be generic over Id, which means Protocol needs to be generic over Id, with the corresponding changes in all generic bounds throughout the crate.
• Remove Combinator/CombinatorEntryPoint and replace it with a ChainedMarker trait, which works just as well.
• The combined_echos argument to verify_messages_constitute_error() now has a mapping of id to echo instead of just a vector of echos.
• verify_messages_constitute_error() now takes messages and mapping of messages by value.

[coveralls]

Pull Request Test Coverage Report for Build 12495825101

Details

• 28 of 82 (34.15%) changed or added relevant lines in 7 files are covered.
• 10 unchanged lines in 3 files lost coverage.
• Overall coverage decreased (-0.3%) to 69.061%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
manul/src/protocol/errors.rs	0	2	0.0%
manul/src/protocol/round.rs	0	9	0.0%
manul/src/session/evidence.rs	23	43	53.49%
manul/src/combinators/chain.rs	0	23	0.0%

Files with Coverage Reduction	New Missed Lines	%
manul/src/combinators/chain.rs	2	59.35%
manul/src/protocol/errors.rs	3	16.67%
manul/src/session/session.rs	5	80.35%

Totals
Change from base Build 11922968393:	-0.3%
Covered Lines:	1788
Relevant Lines:	2589

---

💛 - Coveralls