Add VerifySecureRunner + SecureRun config flag

[fmoletta]

No description provided.

[codecov-commenter]

Codecov Report

Merging #303 (67924a2) into main (78c0a08) will decrease coverage by 0.08%.
The diff coverage is 50.00%.

@@            Coverage Diff             @@
##             main     #303      +/-   ##
==========================================
- Coverage   56.19%   56.11%   -0.08%     
==========================================
  Files          48       49       +1     
  Lines        6316     6479     +163     
==========================================
+ Hits         3549     3636      +87     
- Misses       2407     2477      +70     
- Partials      360      366       +6     

Files	Coverage Δ
pkg/runners/cairo_runner.go	47.08% <100.00%> (+0.13%)	⬆️
pkg/builtins/bitwise.go	49.71% <28.57%> (+3.28%)	⬆️
pkg/vm/cairo_run/cairo_run.go	17.47% <0.00%> (-0.90%)	⬇️
pkg/builtins/builtin_runner.go	80.30% <88.33%> (+80.30%)	⬆️
pkg/builtins/ec_op.go	43.77% <0.00%> (-1.12%)	⬇️
pkg/builtins/keccak.go	85.46% <0.00%> (-1.08%)	⬇️
pkg/builtins/pedersen.go	18.83% <0.00%> (-0.90%)	⬇️
pkg/builtins/poseidon.go	28.85% <0.00%> (-1.43%)	⬇️
pkg/builtins/range_check.go	23.80% <0.00%> (-0.92%)	⬇️
pkg/builtins/signature.go	5.19% <0.00%> (-0.25%)	⬇️
... and 2 more

📣 We’re building smart automated test selection to slash your CI/CD build times. Learn more

[pefontana]

Can you add a cairo_run_test example with secure_run == true?

[fmoletta]

Can you add a cairo_run_test example with secure_run == true?

secure_run should be always enabled if proof_mode is not, so Ill change the field in the testProgram utils