[WIP] flamenco, runtime: implement static_instruction_limit

[topointon-jump]

Implement solana-foundation/solana-improvement-documents#160

• Implementation
• Unit tests
• Ledger

Also drive-by fix to make fd_executor_verify_transaction take a const bank.

[github-actions]

Performance Measurements ⏳

Suite	Baseline	New	Change
backtest mainnet-368528500-perf per slot	0.050832 s	0.050828 s	-0.008% ✅
backtest mainnet-368528500-perf snapshot load	1.641 s	1.639 s	-0.122% ✅
backtest mainnet-368528500-perf total elapsed	50.832055 s	50.828497 s	-0.007% ✅
firedancer mem usage with mainnet.toml	1005.23 GiB	1005.23 GiB	0.000% ✅

[github-actions]

Performance Measurements ⏳

Suite	Baseline	New	Change
backtest mainnet-368528500-perf per slot	0.050994 s	0.051115 s	0.237% ✅
backtest mainnet-368528500-perf snapshot load	1.625 s	1.635 s	0.615% ✅
backtest mainnet-368528500-perf total elapsed	50.994451 s	51.115122 s	0.237% ✅
firedancer mem usage with mainnet.toml	1005.23 GiB	1005.23 GiB	0.000% ✅

[github-actions]

Performance Measurements ⏳

Suite	Baseline	New	Change
backtest mainnet-368528500-perf per slot	0.050902 s	0.050771 s	-0.257% ✅
backtest mainnet-368528500-perf snapshot load	1.639 s	1.628 s	-0.671% ✅
backtest mainnet-368528500-perf total elapsed	50.901701 s	50.770682 s	-0.257% ✅
firedancer mem usage with mainnet.toml	1005.23 GiB	1005.23 GiB	0.000% ✅