out must point to exactly 129 bytes
serializes the QualityProof into the form that will be hashed together with
the challenge to determine the quality of ths proof. The quality is used to
check if it passes the current difficulty. The format is:
1 byte: plot strength
repeat 16 times:
8 bytes: little-endian proof fragment