Total rewrite of the whole GR(1) game solving part and strategy generation. All the x_mem, y_mem variables and the like are now gone. Strategies are based on transitions rather than states. May be smaller, buy is much cleaner.