Rewrite large parts of Testability section
Update PDF
JSTD ssubsec overhaul
Various fixes in testability section