Renaming Generate and Verify

Operator names are tending towards verbs which I think makes good sense.