Fix incorrect inferrence of number of calls to a quantification algor…

…ithm

Decrease instance size to fit on GitHub machine's disk

Record number of crossing edges between Inner and Outer sweep

Proof read <adiar/functional.h> documentation

Remove sanity checking of TPIE's computations

This sanity check probably has unintended consequences. Let us just trust TPIE
instead and know that we never are going to call these functions with so large
values that we will see the undefined behaviour of Clang.

Transpose input on first existing to-be quantified variable

This makes sure the more expensive quantification sweep is not wasted.
Assuming the user did not provide non-existing variables, this should
only add an O(1) overhead to the start of the quantification algorithm

Add Run-Time Heuristics for Non-canonical Reduce in Nested Sweep

If a level in the Outer Sweep is not decreased by more than 5%, then we will
switch over to use the fast reduce on all levels above this one until the next
Inner Sweep.

Fix tests for SINGLETON mode are set up incorrectly

Remove deprecated quantification overloads

Fix input type for varcount domain setter is not standardised