[protocol spec] Be explicit about the "Value pool" algorithm

[defuse]

The "Value pool" sentence is kind of vague, maybe we should specify the algorithm for it. It's important because it's how a pour's validity is bound to a transaction's validity.