In block-stm, it could be helpful to be able to abort a tx execution early. The signal detection can be done in storage Read/Write APIs, and error propagation have to be done with panics, similar to out-of-gas error, we need to assume the module logics will not simply recover panics errors without checking the error types.