MelVM spec

MelVM will be undergoing some significant updates in the near future, most notably merging in work on Turing completeness.

Until then, please see the old spec, which is currently live on the devnet.