While opcm.upgrade does not enforce that the cannon-kona prestate is empty, standard chains should always set the cannon-kona prestate.
Let's find a suitable location to document this requirement for standard chains. Perhaps it could be defined in https://specs.optimism.io/protocol/configurability.html.