Interface diagrams updated.
Use RandomizedTesting for randomized tests.