Add copy_simp and (maybe?) supplementarity_simp to full_reduce

[RazinShaikh]

No description provided.

[wzpxq]

I also think that copy_simp should be added to full_reduce (along with a call of to_gh before it)

For example, consider the following graph:

g = zx.Graph() 

v0 = g.add_vertex(zx.VertexType.Z, 0, 0)
v1 = g.add_vertex(zx.VertexType.X, 0, 1)
g.add_edge((v0, v1))
v2 = g.add_vertex(zx.VertexType.BOUNDARY, 0, 3)
g.add_edge((v1, v2))

v3 = g.add_vertex(zx.VertexType.BOUNDARY, 1, 3)
g.add_edge((v1, v3))

full_reduce will do nothing else than recoloring the X node, by pulling H out of it.
In this way, the name "full_reduce" is misleading since the copy rule is not applied.