Leveraging Compiler Intermediate Representation for Multi- and Cross-Language Verification