We don't need to mess with the Python stack limit.  The proof is validated in
Rust.  We just need to offer more stack space to the Rust implementation.