Adding `--proof-hint` flag to PyK KRun #6350

Job	Run time
Java: Linting	1m 22s
Pyk: Code Quality & Unit Tests (3.10)	1m 13s
Pyk: Code Quality & Unit Tests (3.11)	1m 5s
Pyk: Code Quality & Unit Tests (3.12)	1m 34s
Code Quality Checks	0s
K: Ubuntu Jammy Frontend Package	0s
K: Nix Build & Test	0s
Pyk: Nix Build	0s
K: Source Build & Test	0s
K: Ubuntu Jammy Package	0s
Pyk: Documentation	0s
Pyk: Integration Tests	0s
Pyk: Profiling	0s
Pyk: Regression Tests	0s
	5m 14s

Provide feedback