This patch introduces ProofParams as a vehicle for setting proof verification parameters such as the dust threshold,
the value for which has been moved out of Proof::verify() in preparation for making it configurable.

There is no change in behavior.