Fixed logic in SpecExecScheduler so that enabling profiling is sticky for txns across multiple invocations of next(). It's finally warm today... about time I'd say...