Changed IStateManager interface to return last sequence acked.
Added more TODOs.
More fleshing.