Tracking work on arithmetic, factoring and elliptic curves bloqs, simulation and costs

[NoureldinYosri]

This is a personal issue to track factoring and elliptic curves work

• Create a Subtract bloq #924
• free ancillas in comparison gates #1020
• Optimize gate count of Subtract to n-1 Toffolis #1057
• Implement classical action of Cast bloq #1093
• create resize bloq #1163
• Update classical action of addition gates and fix classical action bug in Join #1174
• Implement bit conversion for QMontgomeryUInt, fix dtype, symbolic decomposition and classical action of modular gates, and add classical action tests #1264
• And.controlled and MultiAnd.controlled should return MultiAnd #1273
• Improve support for CAdd #1277
• Create controlled greater than bloq #1283
• Create CModAdd #1295
• Create ModNeg and CModNeg #1300
• Fix and improve CAdd tests #1329
• Create ModSub and CModSub #1332
• Remove factoring/mod_sub to reduce code duplication #1338
• Add a test util for classical action and refactor factoring/mod_mul #1339
• Create linear half comparison bloqs #1408
• create DirtyOutOfPlaceMontgomeryModMul #1395
• Create KaliskiModInverse #1464
• Override KaliskiModInverse.adjoint #1483
• Modify KaliskiModInverse to support zero #1486
• Fix bug in KaliskiStep3 and add tests for all steps #1496