Write down precise constants in the asymptotic complexity

[girving]

trafficstars

1. Alice takes 5000 k^2 t log t + smaller terms
2. Bob takes 20000/9 k^2 t log t + smaller terms
3. Vera takes 106000 * k^2 + 1

[girving]

@eric-wieser Next one: A bit of refactoring, and then writing down the constants.

[girving]

(For more context: this is very much related to the original paper, and will be the last PR for a while based on recent discussions.)