Proto/Michelson: fix the interpretation of the `MAP` instruction on `map`s.
In the previous implementation, accumulating a value during a
map was impossible bacause the initial stack tail was
restored. This was not the documented behaviour of the
instruction and it was inconsistent with the case of
MAPping over a
This issue was found by unit testing from the Runtime Verification team.