Implement Domain PAC verifier tests