The recovery and verification code in timestamp_abort is currently included in the main() function. We should factor it out so that the code is better structured, and so that it can be reused in other parts of the code, e.g., as will be needed in WT-10626.