* Move curve parameters to separate file * Rename main prover script for clarity
This enables testing overflow is correctly encoded in the recid, and likely triggers more edge cases. Also introduce a Sage script to generate the parameters.