Use @JSExport features for the testing framework.

This way the testing framework does not relying on the Scala.js
encoding anymore, and is therefore amenable to optimizations through
DCE and/or Closure.