Finished Overhaul

Proof of concept very closely matches the whitepaper now, including
support of Partial Incoherence and Scaled Claims.
Certainty

Changed Certainty to use the Scaled definition ("proportion unanimous")
for everything, as this makes it much more useful for detecting attacks.