Automatically Testing Functional Properties of Code Translation Models