PhET's Assertion Library