limited look-ahead solver now seems to work. correctly computes equilibria in all solvable games when infinite look-ahead is given