The gas behavior in WASMV1 seems to not be up-to-date compared to AS. TODO: * add launch_cost * make sure that the behavior regarding initialization gas is the same as AS