Expand description

CheckedNextPowerOf2, a trait for getting the next-highest power of 2, if it’s representable.