feat: deploy contracts through the factory

[0xDiscotech]

[WIP]

Not working yet while running Kontrol over the prove_setup test. Working with Foundry.
Log:

❌ PROOF FAILED ❌ test%properties%kontrol%OptimismSuperchainERC20Kontrol.prove_setup():0
⏳ Time: 58s ⏳
1 Failure nodes. (0 pending and 1 failing)

Failing nodes:

  Node id: 5
  Failure reason:
    Matching failed.
    The remaining implication is:
    { true #Equals 0 <=Int CALLER_ID:Int }
    #And { true #Equals 0 <=Int ORIGIN_ID:Int }
    #And { true #Equals pow24 <Int NUMBER_CELL:Int }
    #And { true #Equals NUMBER_CELL:Int <Int pow32 }
    #And { true #Equals 1073741824 <Int TIMESTAMP_CELL:Int }
    #And { true #Equals TIMESTAMP_CELL:Int <Int 34359738368 }
    #And #Not ( { CALLER_ID:Int #Equals 645326474426547203313410069153905908525362434349 } )
    #And #Not ( { ORIGIN_ID:Int #Equals 645326474426547203313410069153905908525362434349 } )
    #And { true #Equals CALLER_ID:Int <Int pow160 }
    #And { true #Equals ORIGIN_ID:Int <Int pow160 }
    #And { false #Equals #range ( 0 < CALLER_ID:Int <= 9 ) }
    #And { false #Equals #range ( 0 < ORIGIN_ID:Int <= 9 ) } #Implies { true #Equals foundry_success ( ... statusCode: EVMC_REVERT , failed: #lookup ( .Map , 46308022326495007027972728677917914892729792999299745830475596687180801507328 ) , revertExpected: false , opcodeExpected: false , recordEventExpected: false , eventExpected: false ) }
  Path condition:
    #Top
  Model:
    TIMESTAMP_CELL = 1073741825
    CALLER_ID = 645326474426547203313410069153905908525362434350
    ORIGIN_ID = 645326474426547203313410069153905908525362434350
    NUMBER_CELL = 16777217

[github-actions]

This PR is stale because it has been open 14 days with no activity. Remove stale label or comment or this will be closed in 5 days.