cryptop.verify: Use the correct operations.