Fixes to Constant Elimination Pass

This MR extends testing of the EliminateConstants pass, fixes some bugs in its symbol creator, and fixes errors in casting of vector constants.

• Add missing test cases for constant extraction
• Use get_new_symbol to create extracted symbols
• Create extracted constant symbols with const data types
• Add test case for folding of casts
• Add config options for IRPrinter