From: @wilfchen
Reviewed-by: @cristoval,@limingqi107
Signed-off-by: @limingqi107

The basic idea is: exploits data dependency to control the execution order
of side-effect operations, and keep the semantics of ANF unchanged.

The ControlDepend primitive is removed and there are two primitives added:

1. UpdateState:
```
  a = Assign(para, value)
```
became:
```
  a = Assign(para, value, u)
  u = UpdateState(u, a)
```

2. Load:
```
  x = Add(para, value)
```
became:
```
  p = Load(para, u)
  x = Add(p, value)
  u = UpdateState(u, p)
```

From: @HulkTang
Reviewed-by: 
Signed-off-by:

From: @gzhcv
Reviewed-by: @ouwenchang,@lilongfei15
Signed-off-by: @lilongfei15

From: @yanghaitao1
Reviewed-by: @wangyue01,@lilongfei15
Signed-off-by: @lilongfei15

From: @adelshafiei
Reviewed-by: @john_tzanakakis,@wangyue01
Signed-off-by: @wangyue01

don't load tensors if the type is none

From: @gzhcv
Reviewed-by: 
Signed-off-by:

From: @xiefangqi
Reviewed-by: 
Signed-off-by:

From: @harsh1995
Reviewed-by: @john_tzanakakis,@wenkai_dist
Signed-off-by: @wenkai_dist

From: @jojobugfree
Reviewed-by: @jjfeing,@chujinjin
Signed-off-by: @chujinjin

From: @joylvliang
Reviewed-by: @chujinjin,@jjfeing
Signed-off-by: @chujinjin

From: @liangzhibo
Reviewed-by: 
Signed-off-by:

From: @kisnwang
Reviewed-by: @jjfeing,@chujinjin
Signed-off-by: @chujinjin

From: @yuan_shen_zhou
Reviewed-by: 
Signed-off-by:

From: @gzhcv
Reviewed-by: 
Signed-off-by:

From: @lichen_101010
Reviewed-by: 
Signed-off-by: