Stricten the Strict State monad
I'm just putting this up for perf numbers for now.
I found it weird that most of the combinators weren't actually strict. Making
pure
strict in the state should hopefully give Nested CPR an easier time to
unbox the nested state.