Raise exceptions for bad option-lengths; check MSS size.

Remove notes from comments.
Merge branch 'fix-tcp-unmarshalling' of https://github.com/yomimono/mirage-tcpip into fix-tcp-unmarshalling

Conflicts:
	tcp/options.ml