Create wrapping shift functions for fixed integer types

[SamWilsn]

We have wrapping_sub and wrapping_add.

Instead of putting (a << b) % U256_CEIL_VALUE everywhere, we should create sane implementations on the FixedUInt type and remove the U256_CEIL_VALUE constant.

[SamWilsn]

U256_CEIL_VALUE has been removed.