Integration tests for Crypto-Conditions