Remove oudated comment in seqs.rs #6339

Job	Run time
smoke-test-and-release-macos-x86	17m 17s
smoke-test-and-release-linux	7m 16s
fmt	1m 5s
smoke-test-and-release-windows	8m 15s
test-and-release-macos	15m 14s
test-and-release-macos (record-history)	3m 56s
test-and-release-macos (no-std)	3m 6s
test-and-release-macos (no-alloc)	2m 47s
test-and-release-macos (singular)	4m 6s
test-and-release-macos (cvc5)	3m 12s
release	0s
	1h 6m 14s

Provide feedback