add Test module with Arbitrary instances; move all unit tests there.