[id] remove results file
add action flags for user conds and user sems
more cosmetic updates
non-semantic refactor [check_infinite_loop helper]
Make progress sense more aggressive during user sync operations. Close #125.
Make DEPTH_FACTOR progress sense more flexible. Close #124.