chore: don't run arb_program_can_be_executed in CI

[asterite]

Description

Problem

This is bouncing a lot of PRs from the merge queue.

Summary

Additional Context

Documentation

Check one:

• No documentation needed.
• Documentation included in this PR.
• [For Experimental Features] Documentation to be submitted in a separate PR.

PR Checklist

• I have tested the changes locally.
• I have formatted the changes with Prettier and/or cargo fmt on default settings.

[aakoshh]

What kind of errors are you getting? The bar for this test should be low: don't crash.
Maybe 10s is not enough for it to catch bugs before they get in, but the bugs are there nevertheless.

[asterite]

Most PRs that go in the merge queue get rejected because of this:

• fix(SSA): don't use string literal if byte is "form feed" ('\f') #8653 (comment)
• fix: use correct module for copied trait impl default method #8637 (comment)
• fix: use correct module for copied trait impl default method #8637 (comment)
• fix: always use u32 for indexing arrays in SSA #8633 (comment)

And there are a lot more...

There's also this comment: #8452 (comment)

[TomAFrench]

#8664 I've got a PR here which just disables this in the merge queue rather than in all CI.

[asterite]

Ah, cool, thanks!