[avalanche] Generate proof that verify

Summary: They obvious don't map to acutal UTXOs and remain random, but they do verify if the score is > 0.

Test Plan:

ninja all check-avalanche

Reviewers: #bitcoin_abc, Fabien

Reviewed By: #bitcoin_abc, Fabien

Differential Revision: https://reviews.bitcoinabc.org/D6913