renamed num_modified_upper to num_tightened_upper for consistency wit… #2626

Job	Run time
debug (macos-latest)	7m 49s
debug_all_tests (macos-latest)	11m 16s
debug64 (macos-latest)	9m 56s
release (macos-latest)	9m 43s
release_all_tests (macos-latest)	9m 4s
debug64_all_tests (macos-latest)	13m 9s
Release64 (macos-latest)	9m 26s
Release64_all_tests (macos-latest)	9m 42s
	1h 20m 5s

Provide feedback