Improve upper-bound assertion circuit
The circuit can be slightly optimized for bounds that start with several zeros in their little endian binary representation.
The circuit can be slightly optimized for bounds that start with several zeros in their little endian binary representation.