release/v4.7.0: updating version numbers #3512

Job	Run time
fwd tests and non-fun mix tests	47m 51s
mix/fun tests 1	3h 26m 54s
prim and rev tests	3h 20m 37s
mix/fun tests 2	3h 3m 19s
	10h 38m 41s

Provide feedback