Checker, Web: (Internally) distinguish between timeout termination and exceptions

[F30]

At the moment, Checker Script authors cannot distinguish between getting forcefully getting terminated at the end of a tick and terminating themselves because of an unhandled exception – both count as "Not checked".

We should store this differently and expose it to service authors, but not to teams.