Brute force benchmark and naive pruning for diamond-free-graphs.

Comments here and below