Use `assert` in `proof.js` harness.

Closes #357.