Update verify.js with ghilbert commit abdadc
V1: renames theorems to their sexps.

Exported interfaces are remapped; imported ones stay the same.

Defthms are not renamed.
Rename defthms too.
Rename hyps to h0...hn
Update README for V1