Sequencer panics if the transaction status's proof is nil
In executor v1, somehow a synthetic transaction's status's proof can get set to nil (which is a separate problem). This causes the sequencer to panic. Though the sequencer probably shouldn't be using that proof anyways.