GitLab

Adding support for mass elimination (for Amestoy degree approximations), two options for pivot element insertion ordering, and fixing the upper-bounds on several degree calculations.

Removing the 'buckets' vector in the HashLists storage to exchange twice as many modulo operations for less cache misses.

Moving the supervariable detection check that the number of adjacencies and elements is equivalent into the preliminary check phase; making the clearing of a hash list bucket O(1) instead of O(|bucket_size|); adding several QUOTIENT_NOEXCEPT qualifiers; adding a slightly simpler version of RemoveDegree for when the index is known to be a head.