proofs: port TestInteropFaultProofs action test to devstack

[Inphi]

• Adds an acceptance-test that essentially replicates the TestInteropFaultProofs action test scenario in a supernode devstack.
• Restore the kona prestate build script for easier local development.

part of #19010

[codecov]

Codecov Report

❌ Patch coverage is 0% with 9 lines in your changes missing coverage. Please review.
✅ Project coverage is 75.6%. Comparing base (bdf59c8) to head (30717f4).
⚠️ Report is 7 commits behind head on develop.

Files with missing lines	Patch %	Lines
rust/kona/bin/client/src/interop/transition.rs	0.0%	9 Missing ⚠️

Additional details and impacted files

@@             Coverage Diff             @@
##           develop   #19163      +/-   ##
===========================================
+ Coverage     75.2%    75.6%    +0.3%     
===========================================
  Files          692      504     -188     
  Lines        71528    60591   -10937     
===========================================
- Hits         53828    45824    -8004     
+ Misses       17556    14767    -2789     
+ Partials       144        0     -144     

Flag	Coverage Δ
cannon-go-tests-64	?
contracts-bedrock-tests	?
unit	75.6% <0.0%> (-0.1%)	⬇️

Flags with carried forward coverage won't be shown. Click here to find out more.

Files with missing lines	Coverage Δ
rust/kona/bin/client/src/interop/transition.rs	0.0% <0.0%> (ø)

... and 194 files with indirect coverage changes

🚀 New features to boost your workflow:

• ❄️ Test Analytics: Detect flaky tests, report on failures, and find test suite problems.
• 📦 JS Bundle Analysis: Save yourself from yourself by tracking and limiting bundle sizes in JS merges.

[ajsutton]

Looks good generally - but the first couple of tests are failing (in CI and for me locally).

[Inphi]

Looks good generally - but the first couple of tests are failing (in CI and for me locally).

I thought I checked this locally. I can confirm this. And it looks like a bug in kona (or divergence from op-program) where it handles the super state transitions unexpectedly when interop is disabled.

[Inphi]

@ajsutton it should be fixed now. I've tweaked kona to follow op-program behavior -

optimism/op-program/client/interop/interop.go

Lines 101 to 103 in 3235773

	block, err := deriveOptimisticBlock(logger, bootInfo, l1PreimageOracle, l2PreimageOracle, superRoot, transitionState, tasks)
	if errors.Is(err, ErrL1HeadReached) {
	return InvalidTransitionHash, nil

.
Which I believe is correct.

[ajsutton]

LGTM. Nice to see the tests providing value.