add rlwnm test showing that shift rot OP_RLC proof is incorrect.