This milestone will include proving speedups: - Via the introduction wasm opt - Caching and re-use of proving keys.