Provably Difficult Combinatorial Games