fix: walk around possible medusa issue

I'm getting an 'unknown opcode 0x4e' in ProtocolAtomic constructor when
calling the MockL2ToL2CrossDomainMessenger for the first time

packages/contracts-bedrock/foundry.toml

@@ -103,6 +103,7 @@ script = 'test/kontrol/proofs'
 src = 'test/properties/medusa/'
 test = 'test/properties/medusa/'
 script = 'test/properties/medusa/'
+via-ir=true
 
 [profile.halmos]
 src = 'test/properties/halmos/'