Added some new exports to ease benchmarking

The pseudo-random-generator can now be set to a specific value. The root-expression (used when measuring the trace-duplication) is now exported