Promote FrozenCircuit.tags to AbstractCircuit

[andbe91]

First step towards fixing #7454. This PR just adds the tags attribute to AbstractCircuit, along with some of the logic (e.g. __eq__, _json_dict_, etc). After this we have to add support in the proto serialization itself.

Partially implements #7454

[codecov]

Codecov Report

All modified and coverable lines are covered by tests ✅

Project coverage is 98.68%. Comparing base (68c5741) to head (f886f32).
Report is 2 commits behind head on main.

Additional details and impacted files

@@           Coverage Diff            @@
##             main    #7476    +/-   ##
========================================
  Coverage   98.68%   98.68%            
========================================
  Files        1092     1092            
  Lines       96694    96799   +105     
========================================
+ Hits        95425    95529   +104     
- Misses       1269     1270     +1     

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[dstrain115]

Thanks for fixing my half-written feature!

[pavoljuhas]

Couple of small fixes needed, please see inline.
Otherwise LGTM, thank you for contributing this!

[andbe91]

@pavoljuhas addressed all comments, PTAL

[pavoljuhas]

Sorry about more comments, but I realized we are somewhat inconsistent in how are circuit tags propagated in methods that produce new circuits. For example, factorize copies tags from self to the split circuits, but zip and concat_ragged drop them. The addition c1 + c1 preserves tags from c1, but 2 * c1 does not.

I suppose the simplest consistent behavior would be to propagate tags from the first, ie, self Circuit in all methods that return one or more new Circuits.

Can you please preserve circuit tags from self also for

• __mul__
• __rmul__
• __pow__
• __radd__
• concat_ragged
• with_noise
• zip

[andbe91]

Can you please preserve circuit tags from self also for

• __mul__
• __rmul__
• __pow__
• __radd__
• concat_ragged
• with_noise
• zip

Done, also added tests for this. PTAL

[pavoljuhas]

LGTM with a two final nits. Thank you for adding this!