rr: lightweight recording & deterministic debugging