Cluster mempool tracking issue

What to review next:

• #31363

---

High-level structure:

graph BT;

vecdeque["VecDeque"];
feefrac["FeeFrac"];
bitset["BitSet<N>"];
depgraph["DepGraph"];
txgraph["TxGraph"];
changeset["Mempool changesets"];
clm["Cluster mempool"];

depgraph --> feefrac;
depgraph --> bitset;
depgraph --> vecdeque;
txgraph --> depgraph;
clm --> txgraph;
clm --> changeset;

---

Plan:

• Lowest level: generic utilities:
  • #29242 FeeFrac type
    • #30535 Add FeeFrac::EvaluateFee
  • #30160 BitSet type
  • #30161 VecDeque type
• Low level: operations on DepGraph type (dependencies/linearizations for a single cluster)
  • #30126 Base linearization algorithm
    • #30605 Split tests from tests-of-tests
    • #30857 Extend DepGraph functionality
  • #30285 Merging and postprocessing of linearizations
  • #30286 Optimized candidate search
• Intermediate level: operations on TxGraph type (dependencies/linearizations for the entire mempool)
  • #31363 TxGraph basics
  • #31444 TxGraph mining/eviction
  • #31553 TxGraph reorgs
  • TxGraph memory usage logic: TODO
• High level: changes to mempool/validation
  • #31122 Changesets for mempool
  • #28676 Full implementation