Benchmark suites and harnesses for evaluating contract extraction and event-driven execution strategies.