CoVaC: Compiler Validation by Program Analysis of the Cross-Product