Add support for anoma-decode builtin

[paulcadman]

This PR adds support for the anoma-decode builtin

builtin anoma-decode
axiom anomaDecode : {A : Type} -> Nat -> A

Adds:

• An implementation of the cue function in Haskell
• Unit tests for cue
• A benchmark for cue applied to the Anoma / nockma stdlib

Benchmark results:

      cue (jam stdlib): OK
        36.0 ms ± 2.0 ms

Closes:

• Support Anoma serialisation primitives as Juvix builtin axioms #2764