Add proof hint generation flag #3592

Job	Run time
Nix flake (self-hosted, linux, normal)	9s
Nix flake (self-hosted, linux, normal)	9m 18s
Version Sync	9s
Version Sync	9s
Nix flake (macos-13, macos-13)	1m 3s
Nix flake (macos-13, macos-13)	16m 28s
Nix flake (MacM1, self-macos-12)	5m 36s
Nix flake (MacM1, self-macos-12)	20m 40s
Check Java code formatting	20s
Check Java code formatting	20s
K Tests	52m 13s
K Tests	52m 13s
K Ubuntu Jammy Package	1h 4m 7s
K Ubuntu Jammy Package	1h 4m 7s
Performace Tests	11m 33s
Performace Tests	11m 33s
	5h 9m 58s

Provide feedback