model: Add ability to pass config to linearizable!
model: Add ability to pass config to linearizable!

* Fix some doctests on the way.
* Let the default (config-less) mode follow the PROPTEST_CASES
  environment variable if specified.

spacejam/sled,spacejam/sled,spacejam/sled