Spec Testing Library for the Q Language