verify that class instances satisfy the class spec