[analyze] Verify Function Versions in Switch
Adds static analysis to assert versioned functions in the body of a version switch match the version used in the case.
Adds static analysis to assert versioned functions in the body of a version switch match the version used in the case.