Add unit test for Nash equilibrium and IPD requirement.