Upgrade Proof to 0.0.20.

Renamed `async` to `step` in all tests.

Closes #50.