Adds a new "stark-debug" feature to `openvm-circuit` and `openvm-sdk`
for debugging purposes: when turned on, we pay a performance penalty to
run the stark-backend debugger on all trace matrices before generating
the proof. The debugger checks the constraints logically instead of
cryptographically, which gives more information failure information.

Also updated stark-backend to tag `v1.2.0-rc.1` which updates to make
logs at info level a little less verbose.