Fixes to help get the example in README.md to verify.

Various changes.

* Spec and README have updated module desc, updated verifier and tests to take `(global, foreign, buffer)`

* A few other minor changes.