Fixes for dynamic constant substitution in typechecking, interprocedural SROA, and fix inlining

• Normalize dynamic constants in typechecking for calls.
  • TODO: integrate with other nodes that may involve arrays like Writes, Selects, etc.
• Fix dynamic constant substitution in interprocedural SROA.
• Fix inlining not running in general. Let DeleteUncalled do its thing!

requested review from @prathi3

assigned to @rarbore2

merged

mentioned in commit 6045f644