Truncate prover times in `proof.json`

The prover times should probably be rounded to the thousandths or tens-of-thousandths place avoiding pointless floats like "time": 0.009000000000000001