Macro count_is

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

To update the arguments to count_is!, 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.