Decrease non-deterministic performance with the new algorithm. Provide
speed recordings. Fixes #89.

The new algorithm reduces non-determinism in comparison to the previous
implementation of the MOCUS-like algorithm.