Implement soundness calculator

We should implement a soundness calculator for our Lifted STARK configuration to estimate the security level achieved by a given set of parameters.

### Current state

Plonky3 started adding support via https://github.com/Plonky3/Plonky3/pull/1329 (by @Nashtare), but that PR is currently on hold while investigating a bridge approach to [ethereum/soundcalc](https://github.com/ethereum/soundcalc) — a universal soundness calculator across hash-based zkEVMs and security regimes. There is no Plonky3/Miden configuration in soundcalc yet.

### Goals

- [x] Investigate whether to implement standalone or bridge to ethereum/soundcalc
- [ ] Support both conjectured and proven security estimation
- [ ] Consider changing the verifier signature to return the estimated soundness level
- [x] Validate that our default parameters achieve the desired security level (ties into parameter validation from the config structs)

---

Ported from https://github.com/0xMiden/p3-miden/issues/23