add directional arrows to thread graph; also fix a few bugs related to filtering the graph