Missing ssa_version for Mapped MLIL SSA_FORM

Version and Platform (required):

• Binary Ninja Version: 5.1.8005
• Edition: Non-Commercial
• OS: arch linux
• CPU Architecture: x64

Bug Description:
The ssa_version field of a Variable does not work if the current il_form is mapped mlil_ssa_form (FunctionGraphType.MappedMediumLevelILSSAFormFunctionGraph). Only non-mapped mlil and mlil_ssa_form are supported.

Relevant code from plugins/python/binaryninja/variable.py:

	@property
	def ssa_versions(self) -> Generator[int, None, None]:
		"""Returns the SSA versions associated with this variable. Doesn't return anything for aliased variables."""
		if self._il_function is None:
			raise NotImplementedError("No IL function associated with variable")

		version_count = ctypes.c_ulonglong()
		if self._il_function.il_form in [
		    FunctionGraphType.MediumLevelILFunctionGraph, FunctionGraphType.MediumLevelILSSAFormFunctionGraph
		]:
			versions = core.BNGetMediumLevelILVariableSSAVersions(
			    self._il_function.handle, self.to_BNVariable(), version_count
			)
                ...
		else:
			raise NotImplementedError("Unsupported IL form")

Start in plugins/python/binaryninja/variable.py at the ssa_versions property and trace how il_form is checked for MLIL and MLIL SSA form. Compare the mapped MLIL SSA form path with the supported forms, then verify that requesting SSA versions for a mapped MLIL SSA variable no longer raises Unsupported IL form.