// Verilator scenario checklist:
// 1. Execute mret and sret with younger instructions in flight.
// 2. Verify commit emits flush and redirect.
// 3. Verify younger side effects are squashed.