Correctly propagate visited instructions.

These were previously not updated for threads which already spawned from the target of a join.
Add test case for Trace#contains bug.
Bump version number.