Rename `step` to `async` in `README.md`.

Closes #57.
Upgrade Proof to 0.0.20.