test(sap): add complex sales order audit

[HappyDevs1]

Summary

• add an 81-step, read-only VA03 sales-order lifecycle audit and its recorded cassette
• cover header values, line items, document flow, status overview, shipping, and rejection views
• prevent hidden SAP menus and background windows behind active modals from producing false-positive assertions

Safety

The flow contains no Save, Change, Create, Delete, profile, configuration, or administration steps. It finishes by returning SAP to Easy Access.

Verification

• real local SAP recording: 81 steps passed
• immediate fresh replay: 81 steps passed, zero retries and no degraded selectors
• second trace-only replay: 81 steps passed
• negative assertion failed as expected and produced no cassette
• focused SAP adapter tests: 20 passed
• formatting and diff checks passed

Focused clippy is currently blocked by an unrelated existing warning in flowproof-driver/src/window.rs:180 under Rust 1.97.