Formally Verify Integrity of Signature Length Check

[nlordell]

#453 Introduces new restrictions on the signature length for ERC-4337 user operation signatures in order to prevent malicious bundlers from griefing Safe owners into paying higher validation gas.

This issue captures the work to formally verify the integrity of the signature length check.

Expected Outcome

• A CVL rule that verifies the integrity of the signature length check