Wrap chanmon consistency flow in Harness

Move the main fuzz flow onto the harness. This completes the structural
refactor so `do_test` is responsible for constructing and running the
harness rather than managing the full scenario directly.

Keep the final event-settling loop on the harness as well,
avoiding an extra free function once the state it needs is already
owned by `Harness`.

Author: joostjager