smt: add support for write-first memories (bp #1948) (#1951)

* smt: add support for write-first memories (#1948)


(cherry picked from commit 7d637e25

)

* smt: add old functions for binary compatibility

Co-authored-by: Kevin Laeufer <laeufer@cs.berkeley.edu>
Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com>