Web interface is unresponsive on larger binaries

[Daniel Matichuk]

Often the web interface will hang when the verifier is working on larger binaries. So far two reasons have been identified:

1. the front-end is being redrawn for all verifier events, despite the vast majority of events not affecting the output
2. intermediate proof events are not being streamed out during the proof, and instead are all dumped out at once when the proof is finished