Deutsch-Jozsa unittests #99
Description
The DJ unittests are incomplete. It cannot test the verifier because the the verifier hasn't been merged yet... Once #95 has been merged, we can uncomment the verifier tests and remove the XXX trimming of the certificate in the solver tests. It would be a good idea, while here, to close #58 by also changing the problem representation.