Exclude `proof.js` from test coverage.

Closes #30.