This release resolves some issues with the Congruence
class, that could result in incorrect results, or (incorrect) assertion failures. This issue was highlighted in:
where an instance of the Congruence
class was repeatedly queried and only ran for very short intervals of time (some 10s of microseconds), which sometimes resulted in the nested class Congruence::TC
being invalid.