Switch to jparsec 2.1.
Added test for ProofStep.Weaken().