[avalanche] Update the remote proofs upon receipt of compact proofs

Summary:
Compact proofs let us determine if a peer is missing or is having a proof that we also have. We can leverage this to update the remote proofs status.

Depends on D14662.

Test Plan:

ninja all check-all

Reviewers: #bitcoin_abc, PiRK, bytesofman

Reviewed By: #bitcoin_abc, PiRK, bytesofman

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