Implement receipt metadata and changes to claim types for version management

[nategraf]

As part of the generalized composition design, and more generally for interoperability of multiple circuits and versions within the same circuit, we need to make add receipt metadata such that this version info is tracked, and we need to make the ReceiptClaim type more flexible.

[linear]

ZKVM-417 Implement receipt metadata and changes to claim types for version management