Function assertCivilDate

Throw unless year/month/day are integers forming a plausible civil date (month 1–12, day 1–31; real month lengths are the caller's domain).