Similar Items: Average-Case Hardness of Binary-Encoded Clique in Proof and Communication Complexity