Small Nash Equilibrium Certificates in Very Large Games