Reduced checkNE to only BR tests

Previous solution was only temporary. Nash equilibrium is defined as
strategy profile when every player plays his best response. Now it is
tested that way.