Add asserts for sequence numbers