The args file to the prove CLI must now be textual nock term

[paulcadman]

This PR makes the behaviour of the anoma prove CLI arguments match the documented behaviour.

Previously the arguments file was expected to be jammed bytes unless it had the extension .debug.nockma. Now the arguments file must be a textual nock term of the form [arg1 arg2 ... argn 0] i.e a Nock list of arguments and the file can have any name.

For example:

Test.juvix

module Test;

import Stdlib.Prelude open;

main : List Nat -> List Nat
  | xs := map \{ x := x * 2 } xs;

If you want to pass the list[1;2;3] as the argument you create a file:

Test.args

[[1 2 3 0] 0]

And run:

$ juvix compile anoma Test.juvix
$ juvix dev anoma prove Test.nockma --args Test.args
$ juvix dev nockma encode --from bytes --to text < Test.proved.nockma
[2 4 6 0]

• Fixes prove --args is DEEPLY FLAWED. Maybe jam and cue as well... IDK #3248