Decoupling Forward-Error Correction from Ethereum in Model Checking