Better support for choosing memory models.
* `--mem-mod=` option to `smack-verify.py` now takes `no-reuse`, `no-reuse-impls`,
  or `reuse`.
* also passes the `-mem-mod-impls` flag to `smack` when the memory model name
  contains "impls".