Add `.js` file suffix to file test names.

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

Closes #37.