running all analyses works, although I haven't checked yet that the results make sense.  Tracked down my second bug today, where a monad instance of msUnit was looping on its self rather than the underlying monad