Macro count_less_than

macro_rules! count_less_than {
    ($num_constants:literal, $num_public:literal, $num_private:literal, $num_constraints:literal) => { ... };
}

To update the arguments to count_less_than!, run cargo test with the UPDATE_COUNT flag set to the name of the file containing the macro invocation. e.g. `UPDATE_COUNT=boolean cargo test See https://github.com/AleoNet/snarkVM/pull/1688 for more details.