Things definitely get messy in scientific computing. It is common to have algorithms that are stochastic for other reasons.

I'm working on a parallel random forest implementation at the moment...very little communication between threads is needed but the algorithm itself is stochastic (unless you seed your random number generators in a clever way i guess). (And I've use go's concurrency primitives and race tool for things like writing the forest to disk as trees are grown in parallel and compiling summary statistics).

I do think that tools like the one you are writing are very useful and needed. I just have a bad habit of wanting everything to meet my needs.