Follow-up from "improve Michelson gas costs with map and set folding break"

The following discussion from !34 (merged) should be addressed:

• @mbouaziz started a discussion:

  Later we can remove this List.rev because the order of elements in diff doesn't matter.

  Later because it can still change the receipt in the .out files.