Handle invalid transactions.

We have no proper rule for transactions that are tested to be valid by TxSorter, but not accepted by the actual owner module.
They will just reside in the mempool forever, in current implementation.

まず、TxSorter から owner モジュールを経て mempool に至るトランザクションの経路を追跡します。TxSorter を通過するものの owner モジュールによって拒否されるトランザクションについて、期待される処理を特定し、そのようなトランザクションが mempool に無期限に残り続けないことを示すテストによって完了条件を定義します。

索引モデルが issue の本文から書いたものです。