remove deprecated exhaustive search strategy
clean up todos
Add is_preemption_point hax flag for speculative DR PPs. Also fix explore tag_all_siblings bug.
Add delay_instruction functionality in x86.c to support speculative DR PPs
Have scheduler and arbiter support non-PP / speculative DR save points. Seems to work.
fix header include
Record data race eip at speculative PPs and use it to enable them during DR detection.
Add data_race config command to control speculative PPs; interpret it in arbiter
fixup stack traces for DR PPs; the first frame would be bogus
Fix #83 - soundness bug re memory accesses in backchannel syscalls.