STR-907 Generation of consistant verification key using datatool binary

[MdTeach]

Description

By default the sp1 verification key is not consistent. For the consistant verification key we need to do guest build with docker.

Type of Change

• Bug fix (non-breaking change which fixes an issue)
• New feature/Enhancement (non-breaking change which adds functionality or enhances an existing one)
• Breaking change (fix or feature that would cause existing functionality to not work as expected)
• Documentation update
• Refactor
• New or updated tests
• Dependency Update

Notes to Reviewers

• Currently had to use sp1-helper = { git = "https://github.com/alpenlabs/sp1.git", branch = "feat/docker-optional-workspace-dev-v4" }
• Created the PR on SP1 end

Checklist

• I have performed a self-review of my code.
• I have commented my code where necessary.
• I have updated the documentation if needed.
• My changes do not introduce new warnings.
• I have added tests that prove my changes are effective or that my feature works.
• New and existing tests pass with my changes.

Related Issues

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 55.89%. Comparing base (0db65b9) to head (808de08).
Report is 2 commits behind head on main.

@@            Coverage Diff             @@
##             main     #628      +/-   ##
==========================================
- Coverage   55.97%   55.89%   -0.09%     
==========================================
  Files         315      315              
  Lines       33428    33428              
==========================================
- Hits        18712    18683      -29     
- Misses      14716    14745      +29     

see 7 files with indirect coverage changes

[github-actions]

Commit: 2974527

SP1 Performance Test Results

program	cycles	success
BTC_BLOCKSPACE	30,357,421	✅
EL_BLOCK	98,534	✅
CL_BLOCK	57,370	✅
L1_BATCH	30,387,324	✅
L2_BATCH	5,473	✅
CHECKPOINT	15,895	✅

[storopoli]

ACK 808de08