Added ProbAtLeastStoppable

Added the ability to stop calculations if they take too long.