further cleanup of laws tests for State monad, and my earlier run tests