This adds explicit unit test assertions that left- and right-shifting arith_uint256 values by zero bits is identity-preserving.
While implicitly covered by existing loops, making this invariant explicit improves clarity and guards against future regressions.