Stability of Equilibria

• Add ProfileHistogram.is_equilibrium_stable: whether a forward-focused equilibrium strategy is stable in this profile (which is a sufficient condition for it to be an equilibrium in the sense of Myerson).