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

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

Provide feedback