Added bench.h and a simple benchmark for transitivity.