Cache results of validated justifications to short-circuit future message verification

[anorth]

Each unique vote value in the protocol only needs to be justified once. After receiving a message with justified value V from one participant, a node need not check the justification received with other messages carrying the same V. This is a huge optimisation, probably necessary for feasible protocol execution at scale.