EIP-233: Formal process of hard forks