serialiseCompiledCode should be type constrained

[bezirg]

Summary

serialiseCompiledCode :: forall a. CompiledCode a -> SerialisedScript
takes any a and turns it into a SerialisedScript.

It would be better for the users to constrain this to:

CompiledCode (BuiltinData -> BuiltinData -> BuiltinData ->() ) -> SerialisedScript for V1,V2

and

CompiledCode (BuiltinData -> BuiltinUnit) -> SerialisedScript for V1,V2

for V3.

This needs versioning the SerialisedScript module in the plutus-ledger-api. Also optionally provide an unsafeSerialiseCompiledCode version that behaves with any a

Steps to reproduce the behavior

No response

Actual Result

No response

Expected Result

No response

Describe the approach you would take to fix this

No response

System info

No response