Raise the stack limit while validating the proof

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.