Re-validate tx1 after block acceptance

Extract the second transaction from each block and verify its inputs with the kernel transaction API after process_block succeeds. This is intentionally post-acceptance re-validation because the public kernel API does not expose a pre-acceptance chainstate coin lookup equivalent to CCoinsView::GetCoin, so prevouts currently come from block undo data.

Author: Sjors