Have testutils.die automatically print out "FAILED"

Argument to die is then appended to that, but on a new line.

Adjust some selftests to take advantage of this, though of course, we
don't expect to see the FAILED output for any of them because they're
all passing.

Remove TABs from examples

[CCS] late developments with new theorems; fixed with K11 release; selftest added