chore: upgrade functional test suite to Lean version 4.16.0 #171

Job	Run time
detect-mathlib	1m 19s
auto-config-true	10s
auto-config-false	42s
lake-build-args	11s
lake-check-test-failure	8s
lake-init-failure	13s
lake-init-success (standalone)	10s
lake-lint-failure	10s
lake-init-success (mathdep math)	1m 19s
lake-lint-success	10s
lake-test-failure	9s
lake-init-success (tomltest .toml)	9s
lake-test-success	14s
macos-runner	21s
subdirectory-lake-package	9s
windows-runner	43s
	6m 17s

Provide feedback