better support for debugging record/replay path deviation.
set

Config.LOG_ALL_READS_AND_BRANCHES = true;

in src/js/Config.js.

Then diff readAndBranchLogs.replay and readAndBranchLogs.record.