feat: Add Program#control_flow_graph() method #1294

Job	Run time
Check style	52s
Check types	1m 34s
Check formatting	46s
Check types	43s
Build and test documentation	1m 3s
Run Doctests (3.8)	1m 55s
Test e2e QVM (3.8)	1m 20s
Run Doctests (3.9)	1m 54s
Test Unit (3.8)	1m 30s
Test e2e QVM (3.9)	1m 18s
Run Doctests (3.10)	1m 53s
Test e2e QVM (3.10)	1m 24s
Test Unit (3.9)	1m 32s
Run Doctests (3.11)	1m 46s
Test e2e QVM (3.11)	1m 45s
Test Unit (3.10)	1m 49s
Run Doctests (3.12)	1m 39s
Test e2e QVM (3.12)	1m 17s
Test Unit (3.11)	1m 46s
Test Unit (3.12)	1m 48s
	29m 34s

Provide feedback