BatSeq: `min` and `max` throw `Invalid_argument`

Add to the documentation for `min` and `max` that they throw `Invalid_argument` upon an empty sequence.