test: regression tests for issues in v30 audit

[0xValera]

What ❔

Adding regression tests for issues found in v30 audit.

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]

Coverage after merging vg/v30-audits-regression-tests into draft-v31 will be

92.53%

Coverage Report

File	Stmts	Branches	Funcs	Lines	Uncovered Lines
contracts/bridge
BridgeHelper.sol	100%	100%	100%	100%
BridgedStandardERC20.sol	96.25%	100%	92.31%	97.01%	231–232
L1ERC20Bridge.sol	97.78%	100%	100%	97.30%	261
L1Nullifier.sol	95.98%	100%	100%	95.24%	432–433, 436, 462, 710, 713, 715, 731
UpgradeableBeaconDeployer.sol	100%	100%	100%	100%
contracts/bridge/asset-router
AssetRouterBase.sol	98.53%	100%	100%	98.21%	128
L1AssetRouter.sol	91.62%	100%	86.67%	92.70%	104, 319, 330, 412–413, 432, 590, 601, 615, 620
contracts/bridge/asset-tracker
AssetTrackerBase.sol	93.55%	100%	88.89%	95.45%	84
GWAssetTracker.sol	89.85%	100%	94.29%	89.18%	101–103, 116–117, 246–248, 264, 354, 395, 397–403, 410–411, 630–631, 97–99
L1AssetTracker.sol	97.90%	100%	100%	97.54%	227, 409, 61
LegacySharedBridgeAddresses.sol	83.33%	100%	100%	81.82%	39, 41
contracts/bridge/interfaces
AssetHandlerModifiers.sol	75%	100%	100%	66.67%	13
contracts/bridge/ntv
L1NativeTokenVault.sol	98.13%	100%	100%	97.65%	182, 184
NativeTokenVaultBase.sol	98.95%	100%	100%	98.74%	139, 144
contracts/common
MessageVerification.sol	88.24%	100%	87.50%	88.46%	34, 41–42
ReentrancyGuard.sol	100%	100%	100%	100%
contracts/common/l2-helpers
L2ContractHelper.sol	98.11%	100%	100%	97.78%	108
SystemContractsCaller.sol	52.50%	100%	60%	51.43%	44–45, 47, 49, 51, 53, 66, 69, 72, 75, 78, 83, 89, 91, 93, 96, 98
contracts/common/libraries
DataEncoding.sol	95.54%	100%	95.65%	95.51%	183, 270, 288, 294
DynamicIncrementalMerkle.sol	100%	100%	100%	100%
DynamicIncrementalMerkleMemory.sol	98.96%	100%	100%	98.84%	196
FullMerkle.sol	100%	100%	100%	100%
FullMerkleMemory.sol	93.81%	100%	100%	93.33%	114, 131, 149, 163, 194, 90
Merkle.sol	100%	100%	100%	100%
MessageHashing.sol	98.67%	100%	100%	98.46%	154
SemVer.sol	100%	100%	100%	100%
UncheckedMath.sol	100%	100%	100%	100%
UnsafeBytes.sol	100%	100%	100%	100%
ZKSyncOSBytecodeInfo.sol	100%	100%	100%	100%
contracts/common/libraries/TransientPrimitives
TransientPrimitives.sol	100%	100%	100%	100%
contracts/core/bridgehub
BridgehubBase.sol	96.83%	100%	100%	96.18%	134, 283, 299, 552, 556, 559
L1Bridgehub.sol	90%	100%	91.67%	89.77%	207, 282, 286–287, 290, 300, 66–67, 90
L2Bridgehub.sol	66.67%	100%	60%	68.57%	103–104, 112, 114–115, 124, 129–130, 132–133, 76
contracts/core/chain-asset-handler
ChainAssetHandlerBase.sol	86.75%	100%	100%	84.51%	129–130, 180, 183, 195–196, 250, 267, 89, 96–97
L1ChainAssetHandler.sol	92.68%	100%	88.89%	93.75%	68–69
L2ChainAssetHandler.sol	88.24%	100%	87.50%	88.46%	121, 70, 94
contracts/core/chain-registration
ChainRegistrationSender.sol	88.24%	100%	100%	85.19%	41, 85, 89, 95
contracts/core/ctm-deployment
CTMDeploymentTracker.sol	100%	100%	100%	100%
contracts/core/message-root
L1MessageRoot.sol	88.37%	100%	87.50%	88.57%	108–109, 65–66
L2MessageRoot.sol	60%	100%	44.44%	64.52%	39–40, 45–46, 50, 57, 62–63, 68–70
MessageRootBase.sol	86.92%	100%	88.89%	86.52%	113, 117, 123–125, 131–133, 196, 212, 285, 314
contracts/governance
AccessControlRestriction.sol	100%	100%	100%	100%
ChainAdmin.sol	97.87%	100%	100%	97.30%	39
ChainAdminOwnable.sol	100%	100%	100%	100%
Governance.sol	100%	100%	100%	100%
L2ProxyAdminDeployer.sol	100%	100%	100%	100%
PermanentRestriction.sol	100%	100%	100%	100%
ServerNotifier.sol	100%	100%	100%	100%
TransitionaryOwner.sol	100%	100%	100%	100%
contracts/governance/restriction
Restriction.sol	100%	100%	100%	100%
RestrictionValidator.sol	100%	100%	100%	100%
contracts/interop
AttributesDecoder.sol	100%	100%	100%	100%
InteropCenter.sol	93.90%	100%	89.47%	94.48%	114, 428, 502, 54–55, 59–60, 72
InteropDataEncoding.sol	100%	100%	100%	100%
InteropHandler.sol	91.53%	100%	83.33%	92.45%	33–35, 381, 403, 408, 41–42
L2MessageVerification.sol	100%	100%	100%	100%
contracts/l2-system/zksync-os
L1MessageGasLib.sol	0%	100%	0%	0%	11–12, 16–18, 22–25
L1Messenger.sol	0%	100%	0%	0%	24–25, 28–29, 32, 38, 40, 44–46, 48, 53, 56, 58
ZKOSContractDeployer.sol	0%	100%	0%	0%	12–14, 20, 26, 30–31
contracts/l2-upgrades
L2ComplexUpgrader.sol	0%	100%	0%	0%	23–25, 39, 44, 46, 56, 62–63, 70, 79–81, 84, 86–87
L2GenesisForceDeploymentsHelper.sol	93.92%	100%	100%	93.33%	117, 148, 150, 154, 156–157, 187, 193, 402
L2GenesisUpgrade.sol	0%	100%	0%	0%	30, 37, 39–40, 43, 47–50, 53, 55, 63
L2V30TestnetSystemProxiesUpgrade.sol	0%	100%	0%	0%	22, 27–28, 30, 41, 47, 52, 56, 61, 66, 71, 76, 81, 86, 93, 99
L2V31Upgrade.sol	0%	100%	0%	0%	17
SystemContractProxy.sol	87.50%	100%	66.67%	90.48%	16–17
SystemContractProxyAdmin.sol	60%	100%	66.67%	57.14%	12, 18–19
contracts/state-transition
AccessControlEnumerablePerChainAddressUpgradeable.sol	98.25%	100%	100%	97.83%	179
ChainTypeManagerBase.sol	97.97%	100%	100%	97.45%	442, 505, 543, 619
EraChainTypeManager.sol	89.47%	100%	100%	87.50%	31, 51
MultisigCommitter.sol	93.40%	100%	95%	93.02%	149, 171, 224, 249, 62–63
ValidatorTimelock.sol	94.95%	100%	90%	96.20%	128, 171, 291
ZKsyncOSChainTypeManager.sol	100%	100%	100%	100%
contracts/state-transition/chain-deps
DiamondInit.sol	93.88%	100%	100%	93.62%	59, 63, 67
DiamondProxy.sol	100%	100%	100%	100%
GatewayCTMDeployer.sol	84.62%	100%	90%	83.95%	177–178, 331–333, 341–343, 351, 356–357, 409–410
contracts/state-transition/chain-deps/facets
Admin.sol	99.24%	100%	100%	99.14%	476, 481
Executor.sol	88.21%	100%	100%	87.04%	1001, 1028, 137, 169–170, 179, 240, 267, 274–276, 303, 377, 388, 458, 537, 560, 567, 635, 638–639, 643–644, 696, 714, 735–737, 740, 742, 744–745, 747–748, 750, 789, 795–796,