WIP: Begin sketching some infrastructure for serialized debugging of concurrency problems