Reduction to deterministic classical strategies

This finite-table argument permits arbitrary stochastic strategies, not only a particular pseudorandom implementation. It is the elementary convexity reduction underlying the random-access-code benchmark AmbainisRAC.