Edge verification, measured at 8.6 ms

The live verifier now clears a proof in under nine milliseconds at the edge. What that makes possible, and what it does not.