EVM instruction set versioning

[veox]

Possibly related discussion: Immutables, invariants, and upgradability (comments).