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.

Comienza trazando el recorrido de la transacción desde TxSorter, pasando por el módulo owner, hasta el mempool. Determina el comportamiento esperado para las transacciones que pasan TxSorter pero son rechazadas por el módulo owner, y define la finalización mediante pruebas que demuestren que dichas transacciones ya no permanecen indefinidamente en el mempool.

Escrito por el modelo de indexación a partir del texto del issue.