“A constructed class of strategies that solves the 'grain of truth' problem contains Bayes-optimal strategies for every reasonable prior over the class.”