* introduce rewindable_kernel_view cleanup header in extension * cleanup and docs/comments * txhashset does not need to be mutable here * pull validate_kernel_history out into fn
