feat: add compress proof test

[SuccinctPaul]

What ❔

Add test for compress proof test

Why ❔

Easy to debug and test.

• how to run

zk cargo test --test test_compress_proof --release

Checklist

• [ ] PR title corresponds to the body of PR (we generate changelog entries from PRs).
• [ ] Tests for the changes have been added / updated.
• [ ] Documentation comments have been added / updated.
• [ ] Code has been formatted via zk fmt and zk lint.
• [ ] Spellcheck has been run via zk spellcheck.
• [ ] Linkcheck has been run via zk linkcheck.

[EmilLuta]

We'll have to troubleshoot the tests. But otherwise looks good.

[SuccinctPaul]

Yeah, Seems need the snark's srs file.