herd: make fence components in initial env more lazy, one error message more explicit.
herd: add mips-tso model