Fix early termination of strategic form QRE on small probabilities.#817

tturocy merged 1 commit intomastergambitproject/gambit:masterfrom

bug_qreloggambitproject/gambit:bug_qrelogCopy head branch name to clipboard