Proto/Michelson: Remove legacy instructions
The deprecated instructions STEPS_TO_QUOTA, CREATE_ACCOUNT, and
the deprecated variant of CREATE_CONTRACT have not been used before
their deprecation in Babylon, as shown here:
- https://gitlab.com/search?search=STEPS_TO_QUOTA&project_id=17370744
- https://gitlab.com/search?search=CREATE_ACCOUNT&project_id=17370744 (used only on Babylonnet)
So it is now safe to remove them.
This MR keeps the STEPS_TO_QUOTA and CREATE_ACCOUNT primitives
and if the translator sees these instructions with their correct type
it still emits the michelson_v1.deprecated_instruction error instead
of a typechecking error.
This is related to https://gitlab.com/nomadic-labs/tezos/-/issues/93 but is less ambitious as it does not modify any already originated contract.
Edited by Mehdi Bouaziz