pass a limited proof id to Delegation::verify instead of the already computed proofid, and refactor the code that generates a proofid from a limited id to avoid code duplication.

Fix a couple nits in names

Rebase on D9544

already done D9547

Unrelated failure, restarting the build.

avoid computing the limited proofid twice

The proofs with expected invalid signatures did not need to be recomputed, only their ID changed. But for the valid ones I needed to know all the private keys for each UTXO to be able to recompute the signatures.
And then there are a bunch of tests that are derived from the valid proof, to show that the proof id changes if a parameter is changed.

Can you explain why so many things need to be fully recomputed?

ss2 -> ss

show the signature in base64, cast vout in uint64_t