Don't skip tests which lack non-tidy output

Don't skip tests which lack non-tidy output

Previously some 60 tests which only had tidy output were silently
removed from the test list and were not executed. Perhaps miraculously,
they all pass (if Math is disabled).

Also, throw an error if a test lacks any kind of result section. Fix one
test which accidentally lacked a result section.

Change-Id: Ic840678b851d6fc472b834cde3d8c83359f1c272