Core dump while proving

Use make to reproduce the issue:

make test-core-dump

or

make test-core-dump-cpu

You can verify the input and app is correct by do an execution instead of proving, which should be success

make test-core-dump-execute

The issue can be resolved if we also use the legacy feature:

make test-core-dump-passed

Openvm issue while handling big inputs

Use make to do test:

make test-meter

or

make test-meter-failure

• test_execute_cost load an guest app built by up-to-date openvm (1.4.1)
• test_execute_cost_legacy load an guest app built legacy openvm (1.3), use some hacking for compability