Move the DifferenceFormatter to serialize.h

Summary: This formatter will be used for the compact proofs as well. Also added some unit tests.

Test Plan:

ninja check

Reviewers: #bitcoin_abc, PiRK

Reviewed By: #bitcoin_abc, PiRK

Subscribers: PiRK

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