Add `.js` suffix to test file names.

Added a `.js` suffix to the test file names in accordance with the new
Proof test file naming conventions.

Closes #8.