Adapt Anoma builtins to new Anoma Node API

[paulcadman]

This PR:

1. Renames the anoma-verify builtin to anoma-verify-with-message and updates its type to:

builtin anoma-verify-with-message
axiom anomaVerifyWithMessage : {A : Type}
  -> Nat
  -> Nat
  -> Maybe A;

2. Declares builtin Maybe for use in jvc files.
3. Updates the implementation of anoma-verify in the Core evaluator and in the nockma backend to use the new type.

The new Anoma verify API is available in:

• Sending from a key has an unreadable error anoma#584

• Closes Adapt builtins to have a clearer juvix-anoma-stdlib API #2850