Support Anoma cryptographic primitives as Juvix builtin axioms

[paulcadman]

The Anoma hoon stdlib now supports cryptographic primitives:

• sign - sign a noun with a given a private key?
• verify - verify the signature of some signed data, given a public key?
• sign-detatched - sign a noun with a given private key, returning just the signature?
• verify-detached - verify a detached signature for a noun with a given public key?

We need to make these available as Juvix builtins, in the same way as we did for anomaGet.

Proposed builtins:

--- Sign. Arguments: Data to sign, private key. Returns: Signed data.
builtin anoma-sign
axiom anomaSign : {A : Type} -> A -> Nat -> Nat;

--- Verify. Arguments: Signed data, public key.
builtin anoma-verify
axiom anomaVerify : {A : Type} -> Nat -> Nat -> Bool;

--- Sign detached. Arguments: Data to sign, private key. Returns: detached signature
axiom anomaSignDetached : {A : Type} -> A -> Nat -> Nat;

--- Verify detatched. Arguments: Data that was signed, public key, detached signature
axiom anomaVerifyDetached : {A : Type} -> A -> Nat -> Nat -> Bool;

[paulcadman]

Closed by #2788 - signDetached is not required.