Minor L1 contract semver/initialization cleanup after spotting an
inconsistency with ResourceMetering.