Added tests for proof recorder monads inside state, writer, and reader monads.  Total coverage on
Control.Monad.Proof.Class.