generalized rdcss to arbitrary (unboxed) values

For the expected value at the A location we require that it is unboxed and for the expected value n1 at the B location we require that [InjLV n1] is unboxed.
Status Job ID Name Coverage
  Build
canceled #36104
fp-timing
build-coq.8.9.0