add -Wconversion warning (in comment)
add assertion that can be automatically verified
add assertions to support successful verification
formatting
remove PokeRightBit8 from implementation
remobe PokeRight