Use circuit name hashCode for circuit anno hashCode (#2504)

It is unclear if having more than one circuit annotation even works. If
it does, it is implausible that they would have the same circuit name
since that would correspond to a namespace collision.