passes all current tests but additional tests are required

 add dangling thread variant of one of the benchmarks

 previously only data races between two non-atomic accesses were
 detected.

 code & add support for vector index re-use for multiple threads
 after termination.

 convert validate atomic op to use shared reference and get_raw
 instead of get_raw_mut so it can be used for validate_atomic_load as well

…otes.

…ata-race detector.

… hold-over from earlier versions so fixed.

…ing into it again, it seems the paper only increments the timestamp after release operations, so changed to approximation of that implementation.