Add `check` functions

[codygunton]

Meaning the check_circuit/check_witness functions. For devs this is doing both--you could write an non-satisfiable circuit, or you could produce a witness that's invalid, and this will check both. The AVM already has this as part of its API, and it makes sense to extend broadly and push devs toward this better dev flow.