adding final touches to synthesis project. primary change is adding support for address comparisons in constraints and assertion language