Added the Store-Store locked write statement "slocked write..." to the rmm language.
Discovered SbConstraint::can_have_pending doesn't apply to PwsConstraints, removed useage from PwsConstraint::unreachable.
Added optimisation PwsConstraint::use_pending_sets.
Added test case of PwsConstraints behaving like SbConstraints when all writes are slocked.
Added the sequence statement to PwsConstraint::pre.
Made [s]locked write statements to_string as a single line.
Made slocked blocks have fence=false.