fixing some highlight issues (wrong highlighted net, not highlighting when handing off to another tool, etc.)