fix: use generic proof record type

[heueristik]

@paulcadman can you review and see if this makes sense? Should we use the generic proof record type here as we are doing it already within the Action record?

juvix-arm-specs/Anoma/Transaction/Action.juvix

Lines 17 to 23 in 311f737

	type Action :=
	mkAction {
	commitments : Set Resource.Commitment;
	nullifiers : Set Resource.Nullifier;
	proofRecords : Set ProofRecord;
	appData : AppData
	};

[paulcadman]

I know we discussed this at some point but I can't remember the conclusion.

Q: Should the Delta prove function use the generic proof type. It's using Parametrized.GenericProofRecord which I thought we had removed. There seems to be some inconsistency in the types between how delta proofs are computed and how they're stored in the transaction.

juvix-arm-specs/Anoma/Proving/DeltaProof.juvix

Lines 10 to 14 in edf4548

	prove
	(provingKey : Delta.ProvingKey)
	(publicInputs : Delta.Instance)
	(privateInputs : Delta.Witness)
	: Delta.Proof := MISSING_ANOMA_BUILTIN;