Hotfix issue with circuit.combinitational renaming inputs ports

[leonardt]

Addresses the issue in #359 by using the renamed_ports class attribute to map the original port names to the ssa'ed port names

[leonardt]

@splhack when you get a chance, can you try the fix on this branch? The circuit definition generated now has the original names, but this doesn't change the ssa algorithm so it should still properly handle the case when an input name matches a variable name in the body.

[coveralls]

Pull Request Test Coverage Report for Build 1511

• 16 of 19 (84.21%) changed or added relevant lines in 2 files are covered.
• No unchanged relevant lines lost coverage.
• Overall coverage increased (+0.005%) to 73.523%

---

Changes Missing Coverage	Covered Lines	Changed/Added Lines	%
magma/syntax/combinational.py	11	14	78.57%

Totals
Change from base Build 1498:	0.005%
Covered Lines:	3832
Relevant Lines:	5212

---

💛 - Coveralls

[splhack]

confirmed this fixed the issue. thank you for working on this quickly!