Client enters infinite loop when proof doesn't verify on server

[veronicaz41]

If the proof does not verify on the server for whatever reason, the client enters a sort of infinite loop of hitting the server and causing like a trillion 500 errors.