Various code for comparing timings of different probabilistic programming implementations.