Add atRoot parameter to Value.Transfer()

This commit adds a new parameter atRoot to Transfer().  Atree storage
is validated only if both remove and atRoot parameters are true in
ArrayValue.Transfer(), DictionaryValue.Transfer(), and
CompositeValue.Transfer().

Currently in ArrayValue.Transfer(), DictionaryValue.Transfer(),
and CompositeValue.Transfer() if remove parameter is true:
- atree storage is validated
- container slab is removed

However, when transferring nested ArrayValue, DictionaryValue,
and CompositeValue with remove flag, atree storage validation can
fail because child slab is removed while parent container is not
reset completely yet.

This validation problem is similar to the previously fixed
atree storage validation problem during nested DeepRemove().

runtime/interpreter/interpreter.go

@@ -1706,6 +1706,7 @@ func (interpreter *Interpreter) transferAndConvert(
 		false,
 		nil,
 		nil,
+		true,
 	)
 
 	result := interpreter.ConvertAndBox(
@@ -3924,6 +3925,7 @@ func (interpreter *Interpreter) authAccountSaveFunction(addressValue AddressValu
 				true,
 				nil,
 				nil,
+				true,
 			)
 
 			// Write new value
@@ -4048,6 +4050,7 @@ func (interpreter *Interpreter) authAccountReadFunction(addressValue AddressValu
 				false,
 				nil,
 				nil,
+				false,
 			)
 
 			// Remove the value from storage,

runtime/interpreter/interpreter_expression.go

@@ -1359,6 +1359,7 @@ func (interpreter *Interpreter) VisitAttachExpression(attachExpression *ast.Atta
 		false,
 		nil,
 		nil,
+		true,
 	).(*CompositeValue)
 
 	// we enforce this in the checker

runtime/interpreter/interpreter_invocation.go

@@ -101,6 +101,7 @@ func (interpreter *Interpreter) invokeFunctionValue(
 					false,
 					nil,
 					nil,
+					true,
 				)
 			}
 		}

runtime/interpreter/interpreter_statement.go

@@ -326,6 +326,7 @@ func (interpreter *Interpreter) VisitForStatement(statement *ast.ForStatement) S
 		false,
 		nil,
 		nil,
+		true,
 	)
 
 	iterable, ok := transferredValue.(IterableValue)

runtime/interpreter/simplecompositevalue.go

@@ -262,6 +262,7 @@ func (v *SimpleCompositeValue) Transfer(
 	remove bool,
 	storable atree.Storable,
 	_ map[atree.ValueID]struct{},
+	_ bool,
 ) Value {
 	// TODO: actually not needed, value is not storable
 	if remove {

runtime/interpreter/storage_test.go

@@ -629,6 +629,7 @@ func TestNestedContainerMutationAfterMove(t *testing.T) {
 			false,
 			nil,
 			map[atree.ValueID]struct{}{},
+			true,
 		).(*CompositeValue)
 
 		containerValue1.Append(inter, EmptyLocationRange, childValue1)