Task status assertions

Add assertions in karton-system that will prevent/report incorrect task status transitions which may indicate a bug e.g. finished/crashed task become started, state transition for finished (deleted) task etc.

A full state machine diagram + a small description somewhere in the Advanced concepts in docs would be pretty cool

Here's a rough overview, you should be able to import it at draw.io and edit it