Remove unnecessary code from Ur/Web benchmark implementation
Merge pull request #1066 from achlipala/master

Ur/Web: Remove unnecessary code