In ast_visitor, move more code into generic visitor #8086

Job	Run time
smoke-test-and-release-macos-x86	15m 1s
fmt	1m 23s
smoke-test-and-release-windows	8m 50s
test-and-release-macos	29m 36s
docs	3m 48s
test-and-release-macos (singular)	4m 26s
test-and-release-macos (record-history)	4m 23s
test-and-release-macos (no-alloc)	4m 16s
smoke-test-and-release-linux	7m 56s
test-and-release-macos (cvc5)	3m 48s
test-and-release-macos (no-std)	5m 21s
release	21s
	1h 29m 9s

Provide feedback