Optimization of assert-upper-bounded - Fixes #146
The optimization is based on the fact that trailing zeros in the bound's bit decomposition can be ignored.
The optimization is based on the fact that trailing zeros in the bound's bit decomposition can be ignored.