APRProof get_steps optimizations #6589

Job	Run time
Pyk: Code Quality & Unit Tests (3.10)	1m 24s
Java: Linting	1m 23s
Pyk: Code Quality & Unit Tests (3.11)	1m 18s
Pyk: Code Quality & Unit Tests (3.12)	1m 23s
Code Quality Checks	1s
K: Source Build & Test	23m 54s
Pyk: Nix Build (ubuntu-latest)	39s
Pyk: Nix Build (macos-14)	1m 36s
K: Ubuntu Jammy Frontend Package	4m 28s
K: Ubuntu Jammy Package	13m 51s
K: Nix Build & Test (self-hosted, linux, normal)	5m 47s
K: Nix Build & Test (MacM1, self-macos-12)	24m 11s
Pyk: Profiling	4m 6s
Pyk: Integration Tests	20m 35s
Pyk: Regression Tests	17m 10s
Pyk: Documentation	4m 5s
	2h 5m 51s

Provide feedback