verification of testsets (defined as collection of compiled methods)