DAL: serialize proofs -- Follow-up from "Plug DAL refutation functions in SCORU refutation game"

__The following discussion from !6470 (merged) should be addressed:

• @iguerNL started a discussion: (+3 comments)

  I'm wondering if the Dal proofs need to be serialized as done for inbox proofs.