Release 1.9

I’m proposing these commits for the 1.9 release, to be followed immediately by a 1.10 beta from current master, since we have lots of unreleased work there.