Anyone knows if the transaction status executed is enough to assume it was run successfully, or another check for block <= last irreversible block is needed?