Use an interface for WT_TXN_NOTIFY so it doesn't need a magic cookie.