Fix TESLA compilation in release mode.

This doesn't fix old-style tests that rely on debug output that is only generated with !NDEBUG, but at least things compile.
Trivial: whitespace.