pub const AUX_LEN: usize = 2;Expand description
AUX_LEN is the number of auxiliary columns (aka the number of limbs that the input numbers will
be decomposed into) for the AssertLtSubAir in the MemoryOfflineChecker.
Warning: This requires that (timestamp_max_bits + decomp - 1) / decomp = AUX_LEN
in MemoryOfflineChecker (or whenever AssertLtSubAir is used)