* feat; benchmark compressed SNARK with computational commitments
- labeled types for compressed SNARKs in benchmarks, both with and without computational commitments, enhancing the functionality.
- Extended benchmark testing to include compressed SNARK with computational commtiments
* fix: use flat sampling mode for computational commitments, reduce circuit sizes