Use `BitDecomposition` to build a generic implementation of `AssertWithinBitRange`

[SupremoUGH]

Should we use bit decomposition trait here and use this to build a generic impl of assert_within_range. If you think it's a good idea mark an issue for it.

Originally posted by @bhgomes in #37 (comment)