Show failures
More pretty printing
Rename test.{result,failure} because semantics
Output tracebacks for failures