Integrated fuzzer

[k32]

Investigate if snabbkaffe can inject schedulings automatically.

1. Given a trace, try to infer causality between the events.
2. Inject an ordering between unrelated events
3. Run the code with deadlock detection (see #35) and refine the infered causalities if a deadlock is detected
4. Run checks as usual to detect anomalies
5. Repeat with a different injection