Implement RD and WR

These are just bitwise, so easy.
Properly implement variable RSH/LSH

This now works with all the different sorts of shifts, or at least
everything I can get Torture to output...