Creates one executable state, spawns three threads that all call redeem_state() in parallel, and asserts the invariant: consumed == 1. Same code path as python -m demo.run_race_demo.