feat: priority tree on sync layer

[kelemeno]

What ❔

Why ❔

Checklist

• [ ] PR title corresponds to the body of PR (we generate changelog entries from PRs).
• [ ] Tests for the changes have been added / updated.
• [ ] Documentation comments have been added / updated.

[github-actions[bot]]

Coverage after merging lyova-priority-tree-on-sync-layer into kl/sync-layer-reorg will be

67.55%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
../da-contracts/contracts
RollupL1DAValidator.sol	0%	0%	0%	0%	101, 106–107, 107, 107, 117, 123, 125–126, 128, 128, 128–130, 130, 130–131, 133, 139–140, 140, 140, 147–149, 161, 163, 167, 167, 167–169, 169, 169, 174, 26, 26, 26–27, 27, 27, 29, 31–32, 36–37, 46, 48, 48, 48, 52, 56, 63, 72, 78, 78, 78, 80, 83–85, 89, 89, 89, 92, 92, 92, 94, 96–97
contracts/bridge
L1AssetRouter.sol	92.31%	87.80%	94.44%	93.92%	113, 128, 140–144, 178, 185, 304, 304–307, 403, 743, 777–781
L1ERC20Bridge.sol	88.10%	100%	75%	88.46%	247, 66–67
L1NativeTokenVault.sol	90.48%	93.75%	73.33%	91.67%	272, 277, 47, 53, 53, 53, 60–63
contracts/bridgehub
Bridgehub.sol	25.13%	12.96%	40%	27.10%	111, 124, 134–137, 170, 177, 184–187, 198, 202, 225, 225, 225–226, 226, 226, 228, 228, 228–229, 229, 229–230, 230, 230, 232, 232, 232, 234–235, 237–238, 240, 248, 250–251, 272–273, 346–347, 347, 347–348, 348, 348, 350, 350, 350, 354, 362–364, 392–394, 394, 394–395, 395, 395, 399, 401, 401, 401–402, 405, 413, 416, 424, 424, 424, 426, 428, 428, 428, 432, 446, 460, 460, 460–462, 482, 482, 482, 484–485, 485, 485–486, 486, 486–487, 489, 493, 498, 507, 511–512, 512, 512–513, 513, 513, 515–518, 518, 518–519, 522–523, 538, 543, 82, 86, 86, 91, 91, 91
MessageRoot.sol	0%	0%	0%	0%	100, 108, 116, 118, 122, 133, 136, 39, 39, 39, 45, 45, 45, 52–53, 58, 63, 67–68, 68, 68, 70–72, 74, 76, 80, 85, 87, 90, 94–97
STMDeploymentTracker.sol	0%	0%	0%	0%	115, 122, 137, 31, 31, 31, 38–40, 45, 51, 51, 51–53, 75, 75, 75, 78, 78, 78–79, 81, 93, 95, 98
contracts/common
ReentrancyGuard.sol	100%	100%	100%	100%
contracts/common/libraries
DynamicIncrementalMerkle.sol	97.06%	75%	100%	100%	78
FullMerkle.sol	65.15%	50%	50%	71.74%	100–101, 103–108, 110, 114, 43, 69, 73, 90, 90, 90–91, 99, 99, 99
L2ContractHelper.sol	45.45%	30%	40%	55.56%	29, 32–33, 46–47, 47, 47, 49, 49, 49, 56, 83–86
Merkle.sol	97.83%	93.75%	100%	100%	56
SemVer.sol	100%	100%	100%	100%
UncheckedMath.sol	100%	100%	100%	100%
UnsafeBytes.sol	100%	100%	100%	100%
contracts/governance
Governance.sol	91.67%	93.75%	95%	89.29%	44, 44, 44, 46, 48–49, 51–52
contracts/state-transition
StateTransitionManager.sol	38.37%	30.56%	29.73%	44.44%	101–105, 111, 122, 142–144, 148, 192, 194–195, 200–201, 201, 201, 203–205, 207–208, 237, 242, 257, 262, 267, 276, 281, 310, 319, 319, 319, 321, 332, 334, 343, 345, 348, 362, 365, 367, 370, 372, 374, 399–400, 400, 400, 403, 407, 411, 411, 411, 414, 417, 417, 417, 419, 431–432, 432, 432, 434, 444, 448, 448, 448, 450, 471–472, 472, 472–473, 83, 83, 89, 89, 96
TestnetVerifier.sol	40%	25%	50%	50%	16, 16, 16, 28, 32
ValidatorTimelock.sol	93.75%	100%	94.74%	91.43%	61–63
Verifier.sol	83.33%	100%	66.67%	100%
contracts/state-transition/chain-deps
DiamondInit.sol	86.27%	70%	50%	100%	33–37, 63
DiamondProxy.sol	70.59%	62.50%	100%	75%	16, 16, 16–17, 27
contracts/state-transition/chain-deps/facets
Admin.sol	38.60%	34.09%	52.38%	37.74%	103, 103, 103–105, 118–119, 121–122, 124–125, 130, 130, 130–131, 131, 131, 133, 154, 169–170, 172–173, 182, 203–204, 206, 220, 220, 220–221, 221, 221–222, 225–226, 228, 228, 228, 232–233, 237, 239–241, 243–245, 248, 248, 248–249, 249, 249, 254, 254,