Performance Unit Testing Tutorial using Stochastic Performance Logic