Fix the test with PyCrytoVerifier.