Bit rotation right
the input word
the number of bits to rotate
input rotated right by rot bits
See Implementation
Bit rotation right