Precompile prover memory budget

`Prover::with_max_prover_memory_bytes` only covers the VM trace. Add a precompile memory limit to `Prover` for building and proving precompile traces.

The issue is complete when:

- `Prover` applies the limit in `prove_full` and `prove_precompile`.
- the prover checks an estimated peak before large trace allocations.
- an over-limit request returns a typed error with the estimate and limit.
- tests cover the exact limit and a request one byte over it.
- the default limit accepts the standard precompile benchmark.

Keep deferred hash and MSM input-cost limits in [#3378](https://github.com/0xMiden/miden-vm/issues/3378).