Graph.add_edge_list(): improve handling of hashed=True for arbitrary types

2 jobs for master in 666 minutes and 7 seconds