Review assertion error messages for clarity

[jasongitmail]

Problem:
It sounds like current assertion error messages are very unclear, enough that this should be prioritized. o1-labs/docs2#264 (comment)

Proposed Solution:
Let's have a few people review these for clarity.

Could someone add a link to the default assertion error messages please?

[mitschabaude]

the errors for stuff like field.assertEquals(other) (without a custom message) get thrown from OCaml:
https://github.com/o1-labs/snarky/blob/ff2631f47bb644f7a31fd30be16ee0e5ff5279fa/src/base/checked.ml#L84

[mitschabaude]

As soon as we implement the Field class in snarkyjs we can catch and throw with a different message

[mitschabaude]

Another topic are the errors coming from transaction application (recent discussion: o1-labs/docs2#263). For those, we started a file where we can add handlers for each to add an explanatory message (and link!).
So far it contains only one handler:
https://github.com/o1-labs/snarkyjs/blob/e9779b80d6ad8f4019355c03d12d3c3334e4b2b6/src/lib/errors.ts#L7-L8